diff --git a/src/version.bash b/src/version.bash
index 792814bac7..b2dabe4f7d 100755
--- a/src/version.bash
+++ b/src/version.bash
@@ -36,7 +36,7 @@ TAG=$(hg tags |
 	grep $BRANCH |
 	sed 's/:.*//' |
 	sort -rn -k2 |
-	awk -v ver=$VERSION '$2 <= ver && $1~/^(release|weekly)\./ {print $1}' |
+	awk -v ver=$VERSION '$2+0 <= ver+0 && $1~/^(release|weekly)\./ {print $1}' |
 	sed -n 1p)
 
 if [ "$TAG" != "" ]; then