diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index 2230467a8ad62f1b5512330c647279b02c6a2b70..66ae55f2ea703e44e2d8a4e80ab62421c1b997ce 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*{Frama-C+dev}
+\section*{22.0 Titanium}
 \begin{itemize}
 \item \textbf{Testing}: Document new directives \texttt{TIMEOUT} and
 \texttt{NOFRAMAC}
diff --git a/doc/userman/user-changes.tex b/doc/userman/user-changes.tex
index c2d128136851bdda4d32c1a012e7dd380691b341..103d9a2f2a8b8812e77a7f8f10ef5b2a7b478f1a 100644
--- a/doc/userman/user-changes.tex
+++ b/doc/userman/user-changes.tex
@@ -3,7 +3,7 @@
 This chapter summarizes the changes in this documentation between each \FramaC
 release. First we list changes of the last release.
 
-\section*{\nextframacversion}
+\section*{22.0 (Titanium)}
 
 \begin{itemize}
 \item \textbf{Getting Started:} added option
diff --git a/src/plugins/e-acsl/doc/refman/changes_modern.tex b/src/plugins/e-acsl/doc/refman/changes_modern.tex
index 5399a3805108e5197287a7e7c8709e39af6c4129..43abe7595881b43a5c89f9168f0982a7b04e2dd2 100644
--- a/src/plugins/e-acsl/doc/refman/changes_modern.tex
+++ b/src/plugins/e-acsl/doc/refman/changes_modern.tex
@@ -147,7 +147,7 @@ in \lstinline|\\at|}
     {
 \section{Changes in \eacsl Implementation}
 
-\subsection*{Version \eacslpluginversion}
+\subsection*{Version Titanium-22}
 
 \begin{itemize}
 \item \changeinsection{expressions}{support of bitwise operations}
diff --git a/src/plugins/e-acsl/doc/userman/changes.tex b/src/plugins/e-acsl/doc/userman/changes.tex
index 1dcc066fe7c71274bf39b63cfe01a9838dfbf2a8..a96a51aa43ba5125e0b05d9c209a6c45ff75909b 100644
--- a/src/plugins/e-acsl/doc/userman/changes.tex
+++ b/src/plugins/e-acsl/doc/userman/changes.tex
@@ -3,7 +3,7 @@
 This chapter summarizes the changes in this documentation between each \eacsl
 release. First we list changes of the last release.
 
-\section*{E-ACSL \eacslpluginversion}
+\section*{E-ACSL 22.0 Titanium}
 
 \begin{itemize}
 \item Update every section with changes to \framac and \eacslgcc output