misplaced subsection '*'

and hence the rendered subsection title only contained "*"

manual/manual/library/builtin.etex

@@ -6,7 +6,7 @@ compilation environment, but are not part of any module.  As a
 consequence, they can only be referred by their short names.
 
 %\vspace{0.1cm}
-\subsection{ss:builtin-types}*{Built-in types}
+\subsection*{ss:builtin-types}{Built-in types}
 %\vspace{0.1cm}
 
 \begin{ocamldoccode}