diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index d146755c99c35b3143e6a11d59325bbb927f8546..d1778a45efa5d956b75a31676e004edea6208d5e 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -179,14 +179,13 @@ line, with each dependency as a subitem:
 \end{lstlisting}
 
 Note that \verb|camlp5| is not among the dependencies declared in
-\verb|libraries|; it is used by another component (\verb|gen_ast|, as
-mentioned in the comment).
+\verb|libraries|; it is used by another component, \verb|gen_ast|.
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \section{\framac Makefiles}\label{adv:make}\codeidxdef{Makefile}
 
-\begin{target}not for standard plug-in developers.\end{target}
+\begin{target}standard plug-in developers.\end{target}
 
 \begin{prereq}
   Knowledge of \make.