diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index d89db857e0802f07d418bfdc85cd94b96b646177..7b213fa5830e2d23285b1355104a7945e19c1ce3 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -29,7 +29,8 @@ Plugin E-ACSL <next-release>
 ##############################
 Plugin E-ACSL 25.0 (Manganese)
 ##############################
--* E-ACSL      [2022-23-05] Fix crash for quantifications over enum types (frama-c/e-acsl#199)
+
+-* E-ACSL       [2022-23-05] Fix crash for quantifications over enum types (frama-c/e-acsl#199)
 -  E-ACSL       [2022-03-04] Improve translation of `\at()` terms and
                 predicates (frama-c/e-acsl#108).
 -* E-ACSL       [2022-03-01] Fix normalization of global annotations that