diff --git a/doc/rte/rte.tex b/doc/rte/rte.tex
index bea711914f6c2cca3817d6014b0fe707df778ee5..0a2b6b4f4fff91807c446a205bbf4aab84bff7a5 100644
--- a/doc/rte/rte.tex
+++ b/doc/rte/rte.tex
@@ -848,6 +848,9 @@ signed overflows \\
 \lstinline|-warn-signed-downcast| & boolean (false) & Generate annotations for
 signed integer downcast \\
 \hline
+\lstinline|-warn-invalid-bool| & boolean (true) & Generate annotations for
+\lstinline|_Bool| trap representations \\
+\hline
 \end{tabular}
 \caption{\framac kernel options, impacting \rte{}} \label{kernel}
 \end{center}