diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index fc97db595309e8d213021a53d8f27553aebd2318..fccf2cad4078ef93666da2dc15d6feac93d1b006 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,7 +25,7 @@
 Plugin E-ACSL <next-release>
 ############################
 
--  Makefile     [2021-01-05] Fix dependencies in bytecode-only compilation.
+-* Makefile     [2021-01-05] Fix dependencies in bytecode-only compilation.
 -  E-ACSL       [2020-12-09] Add RTL support for Windows.
 -  E-ACSL       [2020-11-17] Update e-acsl-gcc.sh so that the library dlmalloc
                 can be compiled and used from sources.