diff --git a/doc/html/ogg_mapping.html b/doc/html/ogg_mapping.html
index 8c72bee9..544ed514 100644
--- a/doc/html/ogg_mapping.html
+++ b/doc/html/ogg_mapping.html
@@ -110,7 +110,7 @@
 					<LI>The four-byte ASCII signature "FLAC", i.e. 0x46, 0x4C, 0x41, 0x43</LI>
 					<LI>A one-byte binary major version number for the mapping, e.g. 0x01 for mapping version 1.0</LI>
 					<LI>A one-byte binary minor version number for the mapping, e.g. 0x00 for mapping version 1.0</LI>
-					<LI>A two-byte, big-endian binary number signifying the number of header (non-audio) packets, including this one.  This number may be zero (0x0000) to signify 'unknown' but be aware that some decoders may not be able to handle such streams.@@@@@@</LI>
+					<LI>A two-byte, big-endian binary number signifying the number of header (non-audio) packets, including this one.  This number may be zero (0x0000) to signify 'unknown' but be aware that some decoders may not be able to handle such streams.<!--@@@verify--></LI>
 					<LI>The four-byte ASCII native FLAC signature "fLaC" according to the <A HREF="format.html#stream">FLAC format specification</A></LI>
 					<LI>The <A HREF="format.html#metadata_block">STREAMINFO</A> metadata block for the stream.</LI>
 				</UL>