diff --git a/Jenkinsfile b/Jenkinsfile
index 1da6ec48782197967c1e7e656e408f559e2637e1..b3f4a116471101a80fabe89f7ab7433f61ad2143 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,7 @@
 pipeline {
     agent {
         node {
-            label: 'docker'
+            label 'docker'
             }
         }
     }