diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index 4376c7355cd5fb65991e2b9b0aecc8d19ad3cc6b..0fe63a2812873d1a6928da7848cd6092e7e0990d 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -85,10 +85,6 @@ This will:
   \item update the reference configuration
 \end{itemize}
 
-For beta releases, update manually the doc link in opam file to add
-\texttt{-beta} (not \texttt{\textasciitilde{}beta}) :
-\texttt{http://frama-c.com/download/user-manual-<NN.M>-beta-<Codename>.pdf}\\
-
 Merge the \texttt{stable} branch in the \texttt{master} branch.
 
 On the \texttt{master} branch, execute the script:
diff --git a/doc/release/validation.tex b/doc/release/validation.tex
index 7740bda3520bedbe9870bf78eb17560ef0bfa8be..aa67612e940e7d0f12ae16deecdc5540cf1b9d22 100644
--- a/doc/release/validation.tex
+++ b/doc/release/validation.tex
@@ -46,19 +46,6 @@ Use the script \texttt{bin/check-reference-configuration.sh} to either:
 
 The tasks listed in this section are performed by the Release Manager.
 
-\subsection{Versions in documentation files}
-
-For final release only, remove \texttt{\textasciitilde{}beta} and
-\texttt{-beta} mentions in the following files :
-\begin{itemize}
-  \item \texttt{VERSION}
-  \item \texttt{opam}
-    \begin{itemize}
-      \item in version field
-      \item in the doc link
-    \end{itemize}
-\end{itemize}
-
 \subsection{Versions in source: API documentation}
 
 Check that no \verb|+dev| suffix remains inside comments:
@@ -188,7 +175,7 @@ you might want to install the
   \item \texttt{bin/frama-c-gui} for the old GUI.
   \item \texttt{bin/ivette} for the new GUI.
 \end{itemize}
-\Eva can be tested with \texttt{<gui> -eva tests/idtc/*.c} and \Wp with
+\Eva can be tested with \texttt{<gui> -eva tests/idct/*.c} and \Wp with
 \texttt{<gui> -wp -wp-rte src/plugins/wp/tests/wp\_gallery/find.i}. Try to
 navigate in the code, check some values with \Eva, check that \Wp prove some
 annotations, this should be enough.