diff --git a/src/plugins/e-acsl/doc/refman/main.tex b/src/plugins/e-acsl/doc/refman/main.tex
index fb3dabe02dc215ccbebbb9e8b97cfaefc0c207aa..e5704ebffeed9b32e2583f4df27ddfa69066f672 100644
--- a/src/plugins/e-acsl/doc/refman/main.tex
+++ b/src/plugins/e-acsl/doc/refman/main.tex
@@ -70,21 +70,20 @@ CEA LIST, Software Reliability Laboratory\\
 
 \chapter*{Foreword}
 
-This is a preliminary design of the \eacsl language, a deliverable of
-the task 3.4 of the FUI-9 project Hi-Lite
-(\url{http://www.open-do.org/projects/hi-lite}).
-
-This is the version \version{} of \eacsl design based on \acsl version
-\acslversion~\cite{acsl}. Several features may still evolve in the future.
+This document describes version \version of the \eacsl specification
+language. It is based on the \acsl specification language~\cite{acsl}. Features
+of both languages may still evolve in the future, even if we do our best to
+preserve backward compatibility.
 
 \section*{Acknowledgements}
 
 We gratefully thank all the people who contributed to this document:
 Patrick Baudin,
 Bernard Botella,
-Loïc Correnson,
+Lo\"ic Correnson,
 Pascal Cuoq,
 Johannes Kanig,
+Fonenantsoa Maurica,
 David Mentr\'e,
 Benjamin Monate,
 Yannick Moy and