@@ -1418,11 +1418,11 @@ Thus, for example,
14181418
14191419 Header Identifier
14201420 ------------------------------- ----------------------------
1421− Header identifiers in HTML `header-identifiers-in-html`
1422− *Dogs*?--in *my* house? `dogs--in-my-house`
1423− [HTML], [S5], or [RTF]? `html-s5-or-rtf`
1424− 3. Applications `applications`
1425− 33 `section`
1421+ `Header identifiers in HTML` `header-identifiers-in-html`
1422+ `*Dogs*?--in *my* house?` `dogs--in-my-house`
1423+ `[HTML], [S5], or [RTF]?` `html-s5-or-rtf`
1424+ `3. Applications` `applications`
1425+ `33` `section`
14261426
14271427These rules should, in most cases, allow one to determine the identifier
14281428from the header text. The exception is when several headers have the