diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 44f1e627bed3506cc65b87ade2919dd1e9117b4f..3f9ccc57028564cad8ea4cba24eb817a87d2f129 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,6 +19,8 @@
 #   configure	configure
 ###############################################################################
 
+-  E-ACSL       [2018/18/09] Support for ranges in a few builtins.
+
 ###############################
 Plugin E-ACSL Chlorine-20180501
 ###############################
diff --git a/src/plugins/e-acsl/doc/refman/speclang_modern.tex b/src/plugins/e-acsl/doc/refman/speclang_modern.tex
index b868b10cdbd1e0126378107056d8fb430ae2eaf0..c2ee3338b80e1bb7a640c07e5bc2aa019b7579ba 100644
--- a/src/plugins/e-acsl/doc/refman/speclang_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/speclang_modern.tex
@@ -351,7 +351,7 @@ Figure~\ref{fig:gram:oldandresult} summarizes grammar extension of terms with
 \subsection{Memory locations and sets of terms}
 \label{sec:locations}
 
-\except{\notimplemented{ranges and set comprehensions} are limited in order to
+\except{ranges and \notimplemented{set comprehensions} are limited in order to
   be finite}
 
 Figure~\ref{fig:gram:locations} describes grammar of sets of terms. The only