diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index 44fd0956cf002e4351ef415c6d05236d4e67534e..4ee9e693bb09b509bdd091077322d1fd66367d13 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -153,6 +153,12 @@ in \lstinline|\\at|}
 % Next version
 %\subsection*{Version \eacslplugincodename-\eacslpluginversion}
 
+\subsection*{Version \eacslplugincodename-\eacslpluginversion}
+\begin{itemize}
+\item \changeinsection{expressions}{mark logic function and predicate
+  applications as implemented}
+\end{itemize}
+
 \subsection*{Version Titanium-22}
 
 \begin{itemize}
diff --git a/src/plugins/e-acsl/doc/refman/predicate.tex b/src/plugins/e-acsl/doc/refman/predicate.tex
index ae1dcfb610805a2408af395f3996ce3c00116f95..c89a1ed2979a36295cb7437874e5ea21c031f883 100644
--- a/src/plugins/e-acsl/doc/refman/predicate.tex
+++ b/src/plugins/e-acsl/doc/refman/predicate.tex
@@ -3,7 +3,7 @@
        \
   pred ::= "\true" | "\false" ;
        | term (rel-op term)+ ; comparisons
-       | { id "(" term ("," term)* ")" } ; predicate application
+       | id "(" term ("," term)* ")" ; predicate application
        | "(" pred ")" ; parentheses
        | [ pred "&&" pred ] ; conjunction
        | [ pred "||" pred ] ; disjunction
diff --git a/src/plugins/e-acsl/doc/refman/term.tex b/src/plugins/e-acsl/doc/refman/term.tex
index 0582703adc5a5512f462b839fd56885c2dc1a268..67e3edea7855fd98c34194346fdc744dac7b59ab 100644
--- a/src/plugins/e-acsl/doc/refman/term.tex
+++ b/src/plugins/e-acsl/doc/refman/term.tex
@@ -26,7 +26,7 @@
        | { "{" term "\with" "."id "=" term "}" } ; field functional modifier
        | term "->" id ;
        | [ "(" type-expr ")" term ] ; cast
-       | { id "(" term ("," term)* ")" } ; function application
+       | id "(" term ("," term)* ")" ; function application
        | "(" term ")" ; parentheses
        | [ term "?" term ":" term ] ; ternary condition
        | "\let" id "=" term ";" term ; local binding