diff --git a/Doc/lib/libdis.tex b/Doc/lib/libdis.tex
index 0340c4f1bb7..eb60150ca81 100644
--- a/Doc/lib/libdis.tex
+++ b/Doc/lib/libdis.tex
@@ -51,18 +51,14 @@ is indicated.
 Disassembles a code object, indicating the last instruction if \var{lasti}
 was provided.  The output is divided in the following columns:
 
-\newcounter{discounter}
-\begin{list}{\arabic{discounter}.}{%
-  \usecounter{discounter}
-  \setlength{\leftmargin}{4.5mm}
-  \setlength{\labelsep}{1.5mm}}
+\begin{enumerate}
 \item the current instruction, indicated as \samp{-->},
 \item a labelled instruction, indicated with \samp{>>},
 \item the address of the instruction,
 \item the operation code name,
 \item operation parameters, and
 \item interpretation of the parameters in parentheses.
-\end{list}
+\end{enumerate}
 
 The parameter interpretation recognizes local and global
 variable names, constant values, branch targets, and compare
diff --git a/Doc/libdis.tex b/Doc/libdis.tex
index 0340c4f1bb7..eb60150ca81 100644
--- a/Doc/libdis.tex
+++ b/Doc/libdis.tex
@@ -51,18 +51,14 @@ is indicated.
 Disassembles a code object, indicating the last instruction if \var{lasti}
 was provided.  The output is divided in the following columns:
 
-\newcounter{discounter}
-\begin{list}{\arabic{discounter}.}{%
-  \usecounter{discounter}
-  \setlength{\leftmargin}{4.5mm}
-  \setlength{\labelsep}{1.5mm}}
+\begin{enumerate}
 \item the current instruction, indicated as \samp{-->},
 \item a labelled instruction, indicated with \samp{>>},
 \item the address of the instruction,
 \item the operation code name,
 \item operation parameters, and
 \item interpretation of the parameters in parentheses.
-\end{list}
+\end{enumerate}
 
 The parameter interpretation recognizes local and global
 variable names, constant values, branch targets, and compare