diff --git a/Changelog b/Changelog
index f67bd3932298e10d44e642b735b3fa5d536844fb..8386a28678560653dc4e7c3357b8cd18b681010b 100644
--- a/Changelog
+++ b/Changelog
@@ -13,9 +13,9 @@
 # '#?nnn'  : OLD-BTS entry #nnn                                               #
 ###############################################################################
 
-##################################
-Open Source Release <next-release>
-##################################
+###################################
+Open Source Release 23.0 (Vanadium)
+###################################
 
 -   Eva       [2021-05-11] Support for ACSL predicate \is_infinite.
 -*  Kernel    [2021-04-26] Do not crash on _Alignof(void): accept or properly
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.