diff --git a/infra/push-images/Jenkinsfile b/infra/push-images/Jenkinsfile
index c17dd8028..9d294da00 100644
--- a/infra/push-images/Jenkinsfile
+++ b/infra/push-images/Jenkinsfile
@@ -23,7 +23,7 @@ node() {
     docker.withRegistry('', 'docker-login') {
         for (int i = 0; i < images.size(); i++) {
             def image = images[i]
-            stage name: "Pushing $image"
+            stage name: "$image"
             docker.image(image).push()
         }
     }