diff --git a/Jenkinsfile b/Jenkinsfile
index bfcfc711b..2f4f19f28 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,7 +15,7 @@ pipeline {
         }
         
         stage("build") {
-            agent { label: "build" }
+            agent { label "build" }
             steps {
                 sh "mvn clean package"
             }