diff --git a/Doc/lib/libdis.tex b/Doc/lib/libdis.tex
index 55acab47e81..5c98711b14d 100644
--- a/Doc/lib/libdis.tex
+++ b/Doc/lib/libdis.tex
@@ -198,7 +198,7 @@ Implements \code{TOS = TOS1 and TOS}.
 \end{opcodedesc}
 
 \begin{opcodedesc}{BINARY_XOR}{}
-Implements \code{TOS = TOS1 \^{ }TOS}.
+Implements \code{TOS = TOS1 \^\ TOS}.
 \end{opcodedesc}
 
 \begin{opcodedesc}{BINARY_OR}{}
diff --git a/Doc/libdis.tex b/Doc/libdis.tex
index 55acab47e81..5c98711b14d 100644
--- a/Doc/libdis.tex
+++ b/Doc/libdis.tex
@@ -198,7 +198,7 @@ Implements \code{TOS = TOS1 and TOS}.
 \end{opcodedesc}
 
 \begin{opcodedesc}{BINARY_XOR}{}
-Implements \code{TOS = TOS1 \^{ }TOS}.
+Implements \code{TOS = TOS1 \^\ TOS}.
 \end{opcodedesc}
 
 \begin{opcodedesc}{BINARY_OR}{}