diff --git a/doc/value/main.tex b/doc/value/main.tex
index 33eac7470b5f581cf082739620644aacb1a0fd68..4123d592d89c6dd8039ca466e36f3a0d7179135a 100644
--- a/doc/value/main.tex
+++ b/doc/value/main.tex
@@ -5302,7 +5302,7 @@ By default, only the internal representation of variables by the main domain
 (see Section~\ref{sec:values}) are shown. The properties inferred by each
 additional domain are also printed if the domain's log category has been enabled
 through the option \verb+-eva-msg-key category+, where \verb+category+ is the
-log category of the domain, shown in Figure~\ref{fig:log-category}. The
+log category of the domain, shown in Figure~\ref{fig:eva-domains}. The
 information printed by the additional domains is currently very limited.