diff --git a/Makefile b/Makefile
index 3b986d520a5742299fc8aff616f8d23dd2e7135a..2ff04a58e61aef31e004e2ca31167b5931232225 100644
--- a/Makefile
+++ b/Makefile
@@ -42,11 +42,11 @@ PACKAGE_URL="https://git.frama-c.com/api/v4/projects/$(PROJECT_ID)/packages/gene
 DESCRIPTION="$(shell sed -n -e "p;n;:next;/^##/Q;p;n;b next" CHANGES.md | perl -pe 's/\n/\\n/')"
 
 release:
+	./update_version.sh
 	@echo -n $(DESCRIPTION)
 	@echo "Is the CHANGES.md correct for $(TAG) (y/n)?"
 	@read yesno; test "$$yesno" = y
 	echo $(TAG) > VERSION
-	./update_version.sh
 	dune-release tag $(TAG)
 	dune-release distrib --skip-build --skip-lint
 	curl --header "PRIVATE-TOKEN: $(GITLAB_TOKEN)" \
diff --git a/update_version.sh b/update_version.sh
index 96e69bc440ff261d17361c49db3b7b969e2b4001..a5e376e1c4a447a86d779d9a3e14d1ee7fdf2689 100755
--- a/update_version.sh
+++ b/update_version.sh
@@ -14,3 +14,6 @@ sed -E -i 's/version = \x27([0-9]\.)+[0-9]\x27/version = \x27'${VERSION}'\x27/g'
 sed -E -i 's/release = \x27([0-9]\.)+[0-9]\x27/release = \x27'${VERSION}'\x27/g' doc/conf.py
 sed -E -i 's/CAISAR_VERSION: "([0-9]\.)+[0-9]"/CAISAR_VERSION: "'${VERSION}'"/g' .gitlab-ci.yml
 sed -E -i 's/TAG: "([0-9]\.)+[0-9]"/TAG: "'${VERSION}'"/g' .gitlab-ci.yml
+
+# Update version in tests
+sed -E -i 's/([0-9]\.)+[0-9]/'${VERSION}'/g' tests/help.t