@@ -1116,7 +1116,7 @@ derive the identifier from the header text,
11161116Thus, for example,
11171117
11181118 Header Identifier
1119− ------------------------------------- ---------------------------
1119+ ------------------------------------- ----------------------------
11201120 Header identifiers in HTML `header-identifiers-in-html`
11211121 *Dogs*?--in *my* house? `dogs--in-my-house`
11221122 [HTML], [S5], or [RTF]? `html-s5-or-rtf`