diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index 3c3f9d5943ddb7d0263b27b5b822b22dde8941a9..1435c0834bb20c9414df18d42d154987d0a59058 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -68,21 +68,32 @@ one.
 
 \section{Version}
 
-Execute the script:
+On the new \texttt{stable} branch, execute the script:
 \begin{verbatim}
 ./dev/set-version.sh NN.M # to be replaced with actual major/minor version
 \end{verbatim}
 This will:
 \begin{itemize}
   \item update the \texttt{Changelog}s
-  \item update the changes in the manuals (excluding ACSL and E-ACSL references)
+  \item update the changes in the manuals \textbf{(excluding ACSL and E-ACSL references)}
   \item update the \texttt{VERSION} and \texttt{VERSION\_CODENAME} files
-  \item update the \texttt{opam} file
+  \item update the \texttt{opam} files (Frama-C, lint, hdrck)
   \item update the API doc
 \end{itemize}
 
-Merge the branch in \texttt{master} and add a commit to \texttt{master} by
-adding \texttt{"+dev"} in the \texttt{VERSION} file.
+Merge the \texttt{stable} branch in the \texttt{master} branch.
+
+On the \texttt{master} branch, execute the script:
+\begin{verbatim}
+  ./dev/set-version.sh dev
+\end{verbatim}
+This will:
+\begin{itemize}
+  \item update the \texttt{VERSION} file
+  \item update the \texttt{opam} files (Frama-C, lint, hdrck)
+\end{itemize}
+
+Commit this change and push.
 
 \section{Copyright}
 
diff --git a/doc/release/validation.tex b/doc/release/validation.tex
index bc6ee9d90e10ef028896fa022a20e70cc9aea92c..92afec6f092d01300ae4b18d6884169ade4de57d 100644
--- a/doc/release/validation.tex
+++ b/doc/release/validation.tex
@@ -37,7 +37,6 @@ Change version and codename in the following files:
 \begin{itemize}
   \item \texttt{ALL\_VERSIONS} (non-beta only)
   \item \texttt{VERSION} (for beta releases, add suffix \texttt{\textasciitilde{}beta}, not \texttt{-beta})
-  \item \texttt{VERSION\_CODENAME}
   \item \texttt{opam}
   \begin{itemize}
      \item change version (for beta releases, add suffix \texttt{\textasciitilde{}beta}, not \texttt{-beta})
@@ -187,6 +186,10 @@ of the website and the wiki page.
 
 Create the version commit, tag it using \texttt{git tag \$(cat VERSION | sed -e "s/\textasciitilde /-/")}
 and push it (e.g. via \texttt{git push origin \$(cat VERSION | sed -e "s/\textasciitilde/-/")}).
+\textbf{
+  If the tagged commit itself has not been pushed, remember to push it, else,
+  the release pipeline will fail.
+}
 
 %%%Local Variables:
 %%%TeX-master: "release"