diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index 4e949abc3b74503bb9715505ec5d5ce087691834..bf81337e8f76afd4d52674a0c86d2f378a62b715 100644
--- a/doc/developer/changes.tex
+++ b/doc/developer/changes.tex
@@ -5,7 +5,7 @@
 This chapter summarizes the major changes in this documentation between each
 \framac release, from newest to oldest.
 
-%\section*{dev}
+%\section*{Frama-C+dev}
 %\begin{itemize}
 %\item …
 %\end{itemize}