diff --git a/Doc/lib/libwhrandom.tex b/Doc/lib/libwhrandom.tex
index 09d7816..da3fa8c 100644
--- a/Doc/lib/libwhrandom.tex
+++ b/Doc/lib/libwhrandom.tex
@@ -5,7 +5,7 @@
 This module implements a Wichmann-Hill pseudo-random number generator
 class that is also named \code{whrandom}.  Instances of the
 \code{whrandom} class have the following methods:
-\renewcommand{\indexsubitem}{(in module whrandom)}
+\setindexsubitem{(in module whrandom)}
 
 \begin{funcdesc}{choice}{seq}
 Chooses a random element from the non-empty sequence \var{seq} and returns it.
@@ -37,10 +37,10 @@
 the \code{whrandom} class, and makes the methods of that instance
 available at the module level.  Therefore one can write either 
 \code{N = whrandom.random()} or:
-\bcode\begin{verbatim}
+\begin{verbatim}
 generator = whrandom.whrandom()
 N = generator.random()
-\end{verbatim}\ecode
+\end{verbatim}
 %
 \begin{seealso}
 \seemodule{random}{generators for various random distributions}