diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 4010468d9d2e1495fe7210d3f05699f342bb15c3..5f2eeba808130e5898056e194369e98dd2d15c78 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,8 +15,8 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
--* E-ACSL		[2015/08/12] Fix bug #0001817: Literal strings in global
-			arrays with compound initializers are not correctly initialized.
+-* E-ACSL       [2015/08/12] Fix bug #1817 about incloorect initialization of
+	        literal strings in global in arrays with compound initializers.
 -* E-ACSL       [2015/11/06] Fix a crash occuring when using a recent libc
 	        while GMP headers provided by E-ACSL are used.
 
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 2c4a785a2ad57ed7ffb38c243791438e83db0b75..8bcb9ad95a5cdb8d91b5429992cedfadc20eb5b7 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -732,7 +732,7 @@ you must call function `%s' and `__e_acsl_memory_clean by yourself.@]"
         (fun e ->
           let e, env = self#literal_string !function_env e in
           function_env := env;
-        e)
+          e)
     end else
       Cil.SkipChildren