diff --git a/doc/aorai/main.tex b/doc/aorai/main.tex
index de6c643df76816d339a4fc43a7967a0fd4151261..fb5ad22239ef1ec00d04c25177bd2ff01dab4bef 100644
--- a/doc/aorai/main.tex
+++ b/doc/aorai/main.tex
@@ -1244,7 +1244,7 @@ The plug-in is composed of three parts:
 
 
 \section{Recent updates}
-\subsection{Frama-C+dev}
+\subsection{Frama-C Vanadium}
 \begin{itemize}
 \item Documentation for options \texttt{-aorai-no-generate-annotations}
 and \texttt{-aorai-smoke-tests}
diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index 42a4dfd79401bd3564dae3e62a9cd0f2fa2ddd1f..2fa1fc1995baeb36ecaca64c0d67a41d43f8d6f0 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*{23.0 Vanadium}
 \begin{itemize}
 \item \textbf{Testing}: Document new directive \texttt{EXIT}.
 \end{itemize}
diff --git a/doc/userman/user-changes.tex b/doc/userman/user-changes.tex
index 77cd9c6fca0f9e0201596b5970f01344153804cd..bef69332908c675f7e5509810df7a31a70c7699d 100644
--- a/doc/userman/user-changes.tex
+++ b/doc/userman/user-changes.tex
@@ -3,6 +3,8 @@
 This chapter summarizes the changes in this documentation between each \FramaC
 release. First we list changes of the last release.
 
+\section*{23.0 (Vanadium)}
+
 \begin{itemize}
 \item \textbf{Platform-wide Analysis Option:} swap argument order of
   \texttt{-add-symbolic-path} (now uses \texttt{path:name}).