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