diff --git a/Code_Reflection.thy b/Code_Reflection.thy
index a202139..e25fd2e 100644
--- a/Code_Reflection.thy
+++ b/Code_Reflection.thy
@@ -28,7 +28,7 @@
  * Dependencies: None
  ***********************************************************************************)
 
-chapter\<open>Code Reflection for \<close>
+chapter\<open>Code Reflection for Isabelle\<close>
 theory
   "Code_Reflection"
 imports