diff --git a/Jenkinsfile b/Jenkinsfile
index 2cd535a..683a926 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -36,7 +36,9 @@ echo "Use local repo at ${maven_local_repo_path}"
 
 pipeline {
    // see https://jenkins.io/doc/book/pipeline/syntax/#agent
-   agent { label 'pipeline-agent' }
+   agent {
+      label 'pipeline-agent'
+   }
 
    // see https://jenkins.io/doc/book/pipeline/syntax/#environment
    environment {
@@ -54,11 +56,13 @@ pipeline {
     //see https://jenkins.io/doc/book/pipeline/syntax/#stages
     stages {
         stage('clean up before starting') {
-            script {
-                echo "Create a fresh local repository"
-                rm -rf $MAVEN_LOCAL_REPO
-                mkdir -p $MAVEN_LOCAL_REPO
-                echo "Done with local repository"
+            steps {
+                script {
+                    echo "Create a fresh local repository"
+                    rm -rf $MAVEN_LOCAL_REPO
+                    mkdir -p $MAVEN_LOCAL_REPO
+                    echo "Done with local repository"
+                }
             }
         }
     	stage('build core components') {