diff --git a/doc/release/validation.tex b/doc/release/validation.tex
index 87adb85e4ba6770144e6588714f1542d99593a03..ef55e94093d2a7735cac5b06d4addb09411c38b5 100644
--- a/doc/release/validation.tex
+++ b/doc/release/validation.tex
@@ -134,7 +134,9 @@ Check that these artifacts are as expected. In particular:
   \item Check versions in manuals
   \item Tarball
     \begin{itemize}
-      \item Check that no non-free components are distributed
+      \item Check that no non-free components are distributed (note: unless
+      someone inadvertently added non-free code, \FramaC does not contain any,
+      this check is obsolete).
       \item Check that no \texttt{/home/user} path can be found in the distribution,
       \item Build and test
         \begin{itemize}