diff --git a/jenkinsfiles/stable b/jenkinsfiles/stable
index d1b3345f6d3..79cb069818e 100644
--- a/jenkinsfiles/stable
+++ b/jenkinsfiles/stable
@@ -122,7 +122,7 @@ pipeline {
                     oldImageTag = env.DOCKER_IMAGE_TAG.replace("-rc", "")
 
                     // If version contains more than 2 dots... It's a hotfix.
-                    boolean isHotfix = oldImageTag.length() - oldImageTag.replace(".", "").length() > 2
+                    isHotfix = oldImageTag.length() - oldImageTag.replace(".", "").length() > 2
 
                     if (!isHotfix) {
                         oldImageTag = "$oldImageTag.0"