diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 945b09e32f12951089902bcfec0c3d192ad7bcc7..762adf44aa06fc165f05a076e37372a99738e20f 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,7 +15,9 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
--  E-ACSL       [2016/02/03] Added scripts/testrun.sh - a convenience wrapper
+-  E-ACSL       [2016/02/08] Added documentation for the e-acsl wrapper script
+	        to the E-ACSL user manual.
+o  E-ACSL       [2016/02/03] Added scripts/testrun.sh - a convenience wrapper
 	        around e-acsl-gcc.sh for use with testing.
 -* E-ACSL       [2016/01/15] Fix installation with custom --prefix.
 -* E-ACSL       [2016/01/05] Fix bug in the memory model that caused the