diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index d3efe23c9da229182d886c84b419fbb316465b8c..631226b2fe3ac6eb9798284c6a2cd5fb49146e06 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -29,6 +29,8 @@ Plugin E-ACSL <next-release>
 Plugin E-ACSL 23.0 (Vanadium)
 #############################
 
+-* E-ACSL       [2021-05-25] Restore behavior of option -e-acsl-no-valid broken
+                since Titanium (included).
 -  E-ACSL       [2021-04-09] Add support for loop variant.
 -  E-ACSL       [2021-04-07] Add support for multiple binders in guarded
                 quantifications (frama-c/e-acsl#127).