diff --git a/bin/release b/bin/release
index f92ab006d59e4e2984af263a81ca95708d208ccb..4fac4f048513e250821207f196f82f565e6c6b86 100755
--- a/bin/release
+++ b/bin/release
@@ -36,6 +36,6 @@ rewrite("doc/compress.html", function(cmp) {
 });
 
 rewrite("index.html", function(index) {
-  return index.replace(/<strong>version 3.20<\/strong>/,
+  return index.replace(/<strong>version \d+\.\d+<\/strong>/,
                        "<strong>version " + simple + "</strong>");
 });