diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 62af2c300c7439a9b7895195b5de3e9c325e9e38..1c3083282ce04858fe93b1c900986aaa3559b82e 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -19,8 +19,11 @@
 #   configure	configure
 ###############################################################################
 
--* E-ACSL       [2019/01/02] Fix overlap of TLS with other memory
-                segments for big memory spaces
+-* runtime      [2019/02/04] Fix initialization of the E-ACSL runtime in
+	        presence of multiple calls to its initializer (for
+	        instance, if the main is a recursive function).
+-* runtime      [2019/01/02] Fix overlap of TLS with other memory
+                segments for large memory spaces.
 -  E-ACSL       [2018/11/15] Predicates with empty quantifications
                 directly generate \true or \false instead of nested loops.