diff --git a/Makefile b/Makefile
index 2ff04a58e61aef31e004e2ca31167b5931232225..6d27436cab68a752948cb2b5df5818b85543590f 100644
--- a/Makefile
+++ b/Makefile
@@ -38,15 +38,18 @@ view-doc: doc
 PROJECT_ID=1082
 TAG=$(shell dune-release tag -f --yes > /dev/null 2>&1 && git describe --tags --abbrev=0)
 PKG="caisar-$(TAG).tbz"
+REG_VERSION=$(cat VERSION)
 PACKAGE_URL="https://git.frama-c.com/api/v4/projects/$(PROJECT_ID)/packages/generic/caisar/$(TAG)/$(PKG)"
 DESCRIPTION="$(shell sed -n -e "p;n;:next;/^##/Q;p;n;b next" CHANGES.md | perl -pe 's/\n/\\n/')"
 
 release:
+	@echo "Are git tag $(TAG) and VERSION file $(REG_VERSION) the same? (y/n)?"
+	@read yesno; test "$$yesno" = y
 	./update_version.sh
 	@echo -n $(DESCRIPTION)
 	@echo "Is the CHANGES.md correct for $(TAG) (y/n)?"
 	@read yesno; test "$$yesno" = y
-	echo $(TAG) > VERSION
+	@echo $(TAG) > VERSION
 	dune-release tag $(TAG)
 	dune-release distrib --skip-build --skip-lint
 	curl --header "PRIVATE-TOKEN: $(GITLAB_TOKEN)" \