diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index b507afc33b78b757eed9dd5e30fdc08a7c12962b..6298b441abc8e3e4ca474f920061e1dd37532a6e 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -3726,8 +3726,9 @@ directly stored in the AST. These modules and functions are the following.
   an ACSL annotation has to be converted into a property if you want to access
   its property statuses.
 \item Modules \texttt{Logic\_const}\codeidxdef{Logic\_const},
-  \texttt{Logic\_utils}\codeidxdef{Logic\_utils} and
-  \texttt{Db.Properties}\scodeidxdef{Db}{Properties} contain several
+  \texttt{Logic\_utils}\codeidxdef{Logic\_utils},
+  \texttt{Logic\_parse\_string}\codeidxdef{Logic\_parse\_string} and
+  \texttt{Logic\_to\_c}\codeidxdef{Logic\_to\_c}, contain several
   operations over annotations.
 \end{itemize}