diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index f90390a..53ded48 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -85,13 +85,13 @@
 version as parameter, e.g.:
 
 ----
-  ./tools/version.py 2.5
+  version=2.15
+  ./tools/version.py $version
 ----
 
 Commit the changes and create a signed release tag on the new commit:
 
 ----
-  version=2.15
   git tag -s -m "v$version" "v$version"
 ----