diff --git a/Jenkinsfile3 b/Jenkinsfile3
index 34c54db..4949ed5 100644
--- a/Jenkinsfile3
+++ b/Jenkinsfile3
@@ -18,7 +18,7 @@ pipeline {
             }
         }
         options {
-            copyArtifactPermission('s444417-evaluation');
+            copyArtifactPermission('s444417-evaluation')
         }
         stage('Starting eval job') {
             steps {