diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 17b2e7466ddc7925805cf6584835c124534c1826..f8c4eff5eba91504deed0da7181f8cb476eed47a 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,9 +15,9 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
--* E-ACSL       [2016/01/22] Add an e-acsl-gcc.sh option allowing to annotate
-	        the source program with memory-safety assertions prior to
-					instrumentation.
+-* E-ACSL       [2016/01/22] Add an e-acsl-gcc.sh option (--rte|-a) allowing to
+          annotate the source program with memory-safety assertions prior to
+          instrumentation.
 -  E-ACSL       [2016/05/23] Re-implementation of the type system which
 	        improves the efficiency of the generated code over integers.
 -* E-ACSL       [2016/05/23] Fix bug #2191 about complicate structs and