diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index fba4326df94eca9793de7c5dd6aa244e0936c679..412182a639a3dc77a1260f972ea31eb47f29297a 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -25,9 +25,9 @@ CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\
 \end{tabular}
 \vfill
 \begin{flushleft}
-  \textcopyright 2013 CEA LIST
-
-  This work has been supported by the `Hi-Lite' FUI project (FUI AAP 9).
+  \textcopyright 2013-2016 CEA LIST
+%%
+  %% This work has been supported by the `Hi-Lite' FUI project (FUI AAP 9).
 \end{flushleft}
 \end{titlepage}