diff --git a/dev/build-release.sh b/dev/build-release.sh
index 520f9b3771a03bc6e1844f530485355f56295421..22a708b2a41736c6726fa09df3658890a720e90b 100755
--- a/dev/build-release.sh
+++ b/dev/build-release.sh
@@ -371,7 +371,7 @@ cat >$INSTALL_WEBPAGE <<EOL
 ---
 layout: installation_page
 version: $LOWER_CODENAME
-title: Installation instructions for $CODENAME
+title: Installation instructions for Frama-C $VERSION ($CODENAME)
 ---
 EOL
 sed ./INSTALL.md -e "s/^\(# Installing Frama-C\)$/\1 $EXT/" >>$INSTALL_WEBPAGE