-@@ -13688,7 +13687,7 @@
- extended @TeX{} programs @command{etex} (DVI output) and
- @command{pdftex} (PDF output), such as @TeX{} Live 2008.
- @command{texi2dvi} will use the extended @TeX{}s if they are available
--(@pxref{Format with @t{texi2dvi}}).
-+(@pxref{@t{texi2dvi}}).
+@@ -13748,8 +13747,7 @@
+ itself, but will usually be the case for up-to-date distributions of
+ the extended @TeX{} programs @command{etex} (DVI output) and
+ @command{pdftex} (PDF output). @command{texi2dvi} will use the
+-extended @TeX{}s if they are available (@pxref{Format with
+-@t{texi2dvi}}).
++extended @TeX{}s if they are available (@pxref{@t{texi2dvi}}).