diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 3d2fc0f9896cdda68b2e27eca1e5c9642d8e9b26..65dc019e650c436f6e781a36215d59a4f1218070 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-* E-ACSL       [2021-12-03] Fix crash when creating an axiomatic with an
+                existing name in E-ACSL's RTL (frama-c/e-acsl#161).
 -* E-ACSL       [2021-12-01] Fix crash when binding a lambda-abstraction to a
                 local variable (frama-c/e-acsl#189).
 -* e-acsl-gcc   [2021-11-30] Fix e-acsl-gcc.sh bash autocompletion script and