diff --git a/src/plugins/e-acsl/doc/refman/speclang_modern.tex b/src/plugins/e-acsl/doc/refman/speclang_modern.tex
index 8ccd0a2dc5dfa377ef117681ddf3b526b7dda78e..f28b0e8dd6d94b0129d3ae4ac1e6e5888c7240ea 100644
--- a/src/plugins/e-acsl/doc/refman/speclang_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/speclang_modern.tex
@@ -308,7 +308,7 @@ undefinitive verdicts (e.g., ``unknown'').
 
 \ifthenelse{\boolean{PrintImplementationRq}}{%
   \begin{notimplementedenv}
-    The following constructs are currently not subsection by the \eacsl plug-in:
+    The following constructs are currently not supported by the \eacsl plug-in:
     \begin{itemize}
     \item built-in function \Length;
     \item comparisons of unions and structures;