diff --git a/Jenkinsfile b/Jenkinsfile
index d35fce5..f00cddc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,6 @@
 pipeline {
     agent any
-    properties([parameters([string(defaultValue: '20000', description: '', name: 'CUTOFF', trim: false)])])
+    options([parameters([string(defaultValue: '20000', description: '', name: 'CUTOFF', trim: false)])])
     stages {
         stage('sh: Shell Script') {
             steps {