diff --git a/src/plugins/e-acsl/doc/userman/changes.tex b/src/plugins/e-acsl/doc/userman/changes.tex
index 7ba7552f5345c4a6a137cc15874a534b7da573db..b4969d93baf04103318d1bd47a19e72d38429763 100644
--- a/src/plugins/e-acsl/doc/userman/changes.tex
+++ b/src/plugins/e-acsl/doc/userman/changes.tex
@@ -3,12 +3,6 @@
 This chapter summarizes the changes in this documentation between each \eacsl
 release. First we list changes of the last release.
 
-\begin{itemize}
-\item New section \textbf{Additional Verifications}.
-\item Update each section with respect to the changes introduced since \eacsl
-  Sulfur-20180101.
-\end{itemize}
-
 \section*{E-ACSL \eacslversion}
 
 \begin{itemize}
@@ -24,7 +18,9 @@ release. First we list changes of the last release.
 \section*{E-ACSL Chlorine-20180501}
 
 \begin{itemize}
-\item no changes
+\item New section \textbf{Additional Verifications}.
+\item Update every section with respect to the changes introduced since \eacsl
+  Sulfur-20180101.
 \end{itemize}
 
 \section*{E-ACSL Sulfur-20180101}