diff --git a/VERSION b/VERSION
index 7bb8b4f51ab..09a7db5c2ae 100644
--- a/VERSION
+++ b/VERSION
@@ -1,5 +1,5 @@
 VERSION_MAJOR = 4
 VERSION_MINOR = 2
-PATCHLEVEL = 00
+PATCHLEVEL = 0
 VERSION_TWEAK = 0
 EXTRAVERSION = rc1