diff --git a/doc/release/build.tex b/doc/release/build.tex
index ba457a846c2b56a6abfc018491aa83c1e9741e23..e95334456938807a721bd3feefeab4641b3198cf 100644
--- a/doc/release/build.tex
+++ b/doc/release/build.tex
@@ -85,7 +85,7 @@ There are many administrative steps, coordinated by the release manager.
   to use a tilde \textasciitilde{} between the version number and \texttt{beta},
   and not a dash \texttt{-}.
 \item Create the last commit
-\item Create the tag using \texttt{git tag \$(cat VERSION)} and push it (e.g. via \texttt{git push origin \$(cat VERSION)})
+\item Create the tag using \texttt{git tag \$(cat VERSION | sed -e "s/~/-/")} and push it (e.g. via \texttt{git push origin \$(cat VERSION | sed -e "s/~/-/")})
 \end{enumerate}
 
 \section{Update the Documentation}\label{update_doc}