diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index b363a67ae5798342b6c6510e07c57e14c5337e94..e5fe3d875915652e7fde9806a7f7dc07ed758138 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -82,7 +82,7 @@ On the new \texttt{stable} branch, execute the script:
 
 This will:
 \begin{itemize}
-  \item update the \texttt{Changelog}
+  \item update the \texttt{Changelog}s
   \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} files (Frama-C, lint, hdrck)
@@ -119,6 +119,7 @@ List of external plugins repo names:
   \item frama-clang
   \item GenAssigns
   \item Meta
+  \item Minimal
   \item Mthread
   \item PathCrawler
   \item Security