diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index 6374112007786d195c219c06de9753c5b64d6be8..4ee9e693bb09b509bdd091077322d1fd66367d13 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -151,6 +151,8 @@ in \lstinline|\\at|}
 \section{Changes in \eacsl Implementation}
 
 % Next version
+%\subsection*{Version \eacslplugincodename-\eacslpluginversion}
+
 \subsection*{Version \eacslplugincodename-\eacslpluginversion}
 \begin{itemize}
 \item \changeinsection{expressions}{mark logic function and predicate