+ --pdf}. The command @command{pdftexi2dvi} is also provided as a
+@@ -16263,7 +16261,7 @@
+ For a list of all the options, run @samp{texi2dvi --help}.
+
+
+-@node Format with @t{tex}/@t{texindex}
++@node @t{tex}/@t{texindex}
+ @section Format with @code{tex}/@code{texindex}
+
+ @cindex Shell formatting with @code{tex} and @code{texindex}
+@@ -16479,7 +16477,7 @@
+
+ For example, the following commands will (probably) suffice to sort
+ the indices, format, and print this manual using the @code{texi2dvi}
+-shell script (@pxref{Format with @t{texi2dvi}}).
++shell script (@pxref{@t{texi2dvi}}).
+
+ @example
+ @group
+@@ -16954,7 +16952,7 @@