--- a/trig/index.html	Sun Sep 01 13:46:45 2013 +0100
+++ b/trig/index.html	Sun Sep 01 13:59:48 2013 +0100
@@ -363,11 +363,11 @@
             <h3>Comments</h3>
 
             <p>Comments in TriG take the form of '#', outside an
-            <a href="#grammar-production-IRIREF">IRIREF</a> or <a href="#grammar-production-String">String</a>,
+
+            <a href="#grammar-production-iri">IRI</a> or a <a href="#grammar-production-String">string</a>,
             and continue to the end of line (marked by characters U+000D or U+000A)
             or end of file if there is no end of line after the comment
             marker.  Comments are treated as white space.
-
             </p>
           </section>
           <section id="sec-iri-references">