Simplify markup.
diff --git a/Doc/lib/libuser.tex b/Doc/lib/libuser.tex
index 39daf97..f0e1cab 100644
--- a/Doc/lib/libuser.tex
+++ b/Doc/lib/libuser.tex
@@ -12,9 +12,9 @@
requests it. This module implements such a mechanism. A program
that wishes to use the mechanism must execute the statement
-\bcode\begin{verbatim}
+\begin{verbatim}
import user
-\end{verbatim}\ecode
+\end{verbatim}
The \code{user} module looks for a file \file{.pythonrc.py} in the user's
home directory and if it can be opened, exececutes it (using
diff --git a/Doc/libuser.tex b/Doc/libuser.tex
index 39daf97..f0e1cab 100644
--- a/Doc/libuser.tex
+++ b/Doc/libuser.tex
@@ -12,9 +12,9 @@
requests it. This module implements such a mechanism. A program
that wishes to use the mechanism must execute the statement
-\bcode\begin{verbatim}
+\begin{verbatim}
import user
-\end{verbatim}\ecode
+\end{verbatim}
The \code{user} module looks for a file \file{.pythonrc.py} in the user's
home directory and if it can be opened, exececutes it (using