-@samp{dvipng}: in this case, the @samp{dvipng}
-@pindex dvipng
-program will get run on @acronym{DVI} output (see below for @acronym{PDF}).
+@samp{dvipng}: in this case, the @samp{dvipng}@pindex{dvipng} program
+will get run on @acronym{DVI} output (see below for @acronym{PDF}).