--- a/CookBook/Parsing.thy	Mon Jan 26 12:29:43 2009 +0000
+++ b/CookBook/Parsing.thy	Mon Jan 26 16:09:02 2009 +0000
@@ -548,7 +548,7 @@
 
 ML{* OuterSyntax.command *}
 
-section {* New Commands and Creating Keyword Files *}
+section {* New Commands and Keyword Files *}
 
 text {*
   Often new commands, for example for providing new definitional principles,