diff --git a/doc/value/main.tex b/doc/value/main.tex
index 55070f27f5cd79f6efad46591ce5fd22d44b386f..5e0b12f99dcf0a3669c24abfe80c8dfd00d52416 100644
--- a/doc/value/main.tex
+++ b/doc/value/main.tex
@@ -3286,9 +3286,8 @@ number of times. If the loop has not been entirely unrolled, however,
 remaining \lstinline|-eva-slevel| may be used to unroll more iterations.
 
 While it is sometimes useful to unroll only the first iterations, the usual
-objective is full unrolling; the user can enable option
-\lstinline|-value-msg-key=loop-unroll| to be informed whenever the specified
-unrolling value is insufficient to unroll the loop entirely:
+objective is full unrolling; for this reason, the user is informed whenever
+the specified unrolling value is insufficient to unroll the loop entirely:
 
 \begin{lstlisting}
 void main() {
@@ -3302,6 +3301,8 @@ void main() {
 [eva:loop-unroll] insuf-loop.c:3: loop not completely unrolled
 \end{lstlisting}
 
+The message can be deactived via \lstinline|-eva-warn-key loop-unroll=inactive|.
+
 Note that using an unrolling parameter which is higher than the actual number
 of iterations of a loop doesn't generally have an effect on the analysis.
 The analyzer will usually detect that further iterations are not useful.