diff --git a/src/plugins/e-acsl/doc/refman/main.tex b/src/plugins/e-acsl/doc/refman/main.tex
index 8fcef1b82553761faa362cd6ed14651436b581d8..0368564d4f38b9610bbe1cd9d0b3590b1f066595 100644
--- a/src/plugins/e-acsl/doc/refman/main.tex
+++ b/src/plugins/e-acsl/doc/refman/main.tex
@@ -83,6 +83,7 @@ These features are marked with \experimental.
 We gratefully thank all the people who contributed to this document:
 Patrick Baudin,
 Bernard Botella,
+Thibaut Benjamin,
 Lo\"ic Correnson,
 Pascal Cuoq,
 Basile Desloges,