diff --git a/dev/set-version.sh b/dev/set-version.sh
index c3ca6fa27cceff9155746d0c21547204a56ff67f..a057ca17997756367dcb28108ed54d88983d326f 100755
--- a/dev/set-version.sh
+++ b/dev/set-version.sh
@@ -91,6 +91,7 @@ sed -i "s/\(^\\\\section\*{Frama-C+dev}\)/%\1\n\n\\\\section\*{$NEXT_MAJOR.$NEXT
   doc/userman/user-changes.tex
 sed -i "s/\(^\\\\section\*{Frama-C+dev}\)/%\1\n\n\\\\section\*{$NEXT_MAJOR.$NEXT_MINOR ($NEXT_CODENAME)}/g" \
   doc/developer/changes.tex
-
+sed -i "s/\(^\\\\subsection{Frama-C+dev}\)/%\1\n\n\\\\subsection{Frama-C $NEXT_CODENAME}/g" \
+  doc/aorai/main.tex
 sed -i "s/\(^\\\\section\*{E-ACSL \\\\eacslpluginversion \\\\eacslplugincodename}\)/%\1\n\n\\\\section\*{E-ACSL $NEXT_MAJOR.$NEXT_MINOR $NEXT_CODENAME}/g" \
   src/plugins/e-acsl/doc/userman/changes.tex
diff --git a/doc/aorai/main.tex b/doc/aorai/main.tex
index 0c902318f7b36da17d9035a490b09dcf39f456d2..43ed2deea1de8f2e5f065c624d95c04b8d88d1fe 100644
--- a/doc/aorai/main.tex
+++ b/doc/aorai/main.tex
@@ -1123,6 +1123,8 @@ The plug-in is composed of three parts:
 
 
 \section{Recent updates}
+%\subsection{Frama-C+dev}
+
 \subsection{Frama-C Iron}
 \begin{itemize}
 \item Remove obsolete support for LTL and Promela input language