diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index 45128703b493b05547ea10df54f7761dfcd85ddf..b37bb6f30daa112897e172fdfc5e023daf355a2b 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -4,7 +4,7 @@
 \subsection*{Version \version}
 
 \begin{itemize}
-  \item \changeinsection{expressions}{bitwise-or \lstinline|\^\^| is not lazy}
+  \item \changeinsection{expressions}{xor \lstinline|\^\^| is not lazy}
   \item \changeinsection{expressions}{new extended syntax for quantifications}
   \item \changeinsection{reals}{additional remark about real numbers and
     operations over them}