diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index dbd6168806115a3b66e8903a5dbba20ee337a9d8..367a88670a708582bfbb91e57ff71a2f7aa54e29 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -23,6 +23,8 @@
 Plugin E-ACSL 21.0 (Scandium)
 #############################
 
+-* E-ACSL       [2020-06-10] Fix a soundness bug (##14) when initializing
+                rationals from integers.
 -* E-ACSL       [2020-03-24] Fix automatic deactivation of plug-in Variadic when
                 E-ACSL is directly called from Frama-C without using
                 e-acsl-gcc.sh.