diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index 3de64a5d6dbea2b68aedd97bd46cad8ec39ebdc8..fba4326df94eca9793de7c5dd6aa244e0936c679 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -48,9 +48,9 @@ the future.
 
 \section*{Acknowledgements}
 
-We gratefully thank all the people who contributed to this document: Jens
-Gerlach, Pierre-Lo\"ic Garoche, Florent Kirchner, Nikolaï Kosmatov and Guillaume
-Petiot.
+We gratefully thank all the people who contributed to this document:
+Pierre-Lo\"ic Garoche, Jens Gerlach, Florent Kirchner, Nikolaï Kosmatov and
+Guillaume Petiot.
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%