diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 9897d0a71f42ad1490f0f847fd87cdcfad987cc8..567f7012139d5adfb5eda653640b4dc0946dc9f0 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -23,7 +23,9 @@
 Plugin E-ACSL 18.0 (Argon)
 ##########################
 
--* E-ACSL       [2018/11/13] Fix typing bug for quantified variables.
+-* E-ACSL       [2018/11/13] Fix typing bug in quantifications when the
+	        guards of the quantifier variable cannot be represented into
+	        its type.
 -* runtime      [2018/11/13] Fix bug #!2405 about memory initialization
                 in presence of GCC constructors.
 -* E-ACSL       [2018/10/23] Fix bug #2406 about monitoring of variables