one more place to avoid extra markup (how many will there be?)
diff --git a/Doc/lib/libdis.tex b/Doc/lib/libdis.tex
index 67691b7..560cc27 100644
--- a/Doc/lib/libdis.tex
+++ b/Doc/lib/libdis.tex
@@ -55,7 +55,7 @@
\begin{enumerate}
\item the line number, for the first instruction of each line
\item the current instruction, indicated as \samp{-->},
-\item a labelled instruction, indicated with \samp{>\code{>}},
+\item a labelled instruction, indicated with \samp{>>},
\item the address of the instruction,
\item the operation code name,
\item operation parameters, and