diff --git a/Jenkinsfile b/Jenkinsfile
index a57b9043d..bd0477ae5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -20,7 +20,7 @@ pipeline {
       stages {
         stage('Clean up') {
           steps {
-            cleanWs deleteDirs: true, patterns: [[pattern: '**/target/**', type: 'INCLUDE']
+            cleanWs deleteDirs: true, patterns: [[pattern: '**/target/**', type: 'INCLUDE']]
           }
         }
         stage('Checkout') {