diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index b0a81804aefdf99a1ce61a91cfa906ad0c131a87..f205f70b08c810a3bcb3fcb018433c21ac04b4d0 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,9 +25,11 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-  E-ACSL       [2021-08-03] Correct monitoring of code depending on libc
+                function calls that write memory locations (frama-c/e-acsl#157).
 -* E-ACSL       [2021-07-30] Fix incorrect evaluation of quantified
-	        predicates when a strict guard overlaps with the type of the
-	        bound variable (unlikely in practice) (frama-c/e-acsl#149).
+                predicates when a strict guard overlaps with the type of the
+                bound variable (unlikely in practice) (frama-c/e-acsl#149).
 -  E-ACSL       [2021-07-06] Add support for the extended quantifier \sum.
 -* E-ACSL       [2021-06-22] Fix a crash that occured when using certain
                 combinations of nested blocks and annotations.