diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index ff760d264961ca21b168cbce0184e5e4b9ecc50f..45128703b493b05547ea10df54f7761dfcd85ddf 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -179,6 +179,7 @@ in \lstinline|\\at|}
 \item \changeinsection{expressions}{mark logic function and predicate
   applications as implemented}
 \item \changeinsection{fn-behavior}{mark admit and check clauses as implemented}
+\item \changeinsection{loop_annot}{mark loop variants as implemented}
 \end{itemize}
 
 \subsection*{Version Titanium-22}