diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 463767584b8e9624e1d4bec26a7ad9d50d0b9fa0..6c71048d8f6dd78d2e941a4f0017c0d9449d9873 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -26,7 +26,7 @@ Plugin E-ACSL <next-release>
 ############################
 
 -* E-ACSL       [2021-09-13] Fix unsound reuse of previously typed recursive
-		functions (frama-c/e-acsl#177)
+                functions (frama-c/e-acsl#177)
 -  E-ACSL       [2021-08-03] Correct monitoring of code depending on libc
                 function calls that write memory locations (frama-c/e-acsl#157).
 -* E-ACSL       [2021-07-30] Fix incorrect evaluation of quantified