diff --git a/Jenkinsfile2 b/Jenkinsfile2
index 58d10c53183248d79a159f8ad1735d5b1643b7b5..40f0e98536bdb7850208c0eba9e5fe35d9dfd9d3 100644
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -174,7 +174,7 @@ pipeline {
         stage ('build docs') {
             when {
                 allOf {
-                    { expression { env.CHANGE_BRANCH =~ /docs\// }}
+                    expression { env.CHANGE_BRANCH =~ /docs\// }
                 }
             }
             agent {label "docusaurus"}