diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index 412182a639a3dc77a1260f972ea31eb47f29297a..29010d84d704e5e08f7de434c3a5c215300ff895 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -19,7 +19,7 @@
 \vfill
 \title{\eacsl Plug-in}{Release \eacslversion compatible 
   with \framac \fcversion}
-\author{Julien Signoles}
+\author{Julien Signoles and Kostyantyn Vorobyov}
 \begin{tabular}{l}
 CEA LIST, Software Safety Laboratory, Saclay, F-91191 \\
 \end{tabular}