diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 5f2eeba808130e5898056e194369e98dd2d15c78..71fa4565ae6dec2fa379c3184def1e4273bbe3dc 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,10 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2016/01/05] Fix bug in the memory model that caused the
+	        tracked size of heap memory be computed incorrectly.
+- E-ACSL        [2015/12/15] Added a convenience script for small runs of the
+	        E-ACSL plugin.
 -* E-ACSL       [2015/08/12] Fix bug #1817 about incloorect initialization of
 	        literal strings in global in arrays with compound initializers.
 -* E-ACSL       [2015/11/06] Fix a crash occuring when using a recent libc