--- a/CookBook/Parsing.thy	Fri Feb 13 14:15:28 2009 +0000
+++ b/CookBook/Parsing.thy	Sat Feb 14 00:11:50 2009 +0000
@@ -525,7 +525,7 @@
 
 text {* (FIXME funny output for a proposition) *}
 
-section {* Parsing Specifications *}
+section {* Parsing Specifications\label{sec:parsingspecs} *}
 
 text {*
   There are a number of special purpose parsers that help with parsing specifications