diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
index 22398bd..4eff379 100644
--- a/Doc/ref/ref5.tex
+++ b/Doc/ref/ref5.tex
@@ -691,7 +691,7 @@
 \code{<>} is also acceptable.  At some point in the (far) future,
 \code{<>} may become obsolete.
 
-The operators {\tt "<", ">", "==", ">=", "<="}, and {\tt "!="} compare
+The operators \texttt{"<", ">", "==", ">=", "<="}, and \texttt{"!="} compare
 the values of two objects.  The objects needn't have the same type.
 If both are numbers, they are coverted to a common type.  Otherwise,
 objects of different types \emph{always} compare unequal, and are