diff --git a/Doc/lib/libgetopt.tex b/Doc/lib/libgetopt.tex
index c626b3c..7ab46e4 100644
--- a/Doc/lib/libgetopt.tex
+++ b/Doc/lib/libgetopt.tex
@@ -6,7 +6,9 @@
 It supports the same conventions as the \UNIX{}
 \code{getopt()}
 function (including the special meanings of arguments of the form
-\samp{-} and \samp{--}).  Long options similar to those supported by
+`\code{-}' and `\code{-}\code{-}').
+% That's to fool latex2html into leaving the two hyphens alone!
+Long options similar to those supported by
 GNU software may be used as well via an optional third argument.
 It defines the function
 \code{getopt.getopt(args, options [, long_options])}
@@ -24,7 +26,7 @@
 \code{getopt()}
 uses).
 The third option, if specified, is a list of strings with the names of
-the long options which should be supported.  The leading \code{'--'}
+the long options which should be supported.  The leading \code{'-}\code{-'}
 characters should not be included in the option name.  Options which
 require an argument should be followed by an equal sign (\code{'='}).
 The return value consists of two elements: the first is a list of