diff --git a/Jenkinsfile b/Jenkinsfile
index e76125f..b4464fd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -196,9 +196,11 @@ pipeline {
     // post-build actions
 	post {
         always {
-            // restore the default maven settings
-            mv "${agent_root_folder}/settings.${PIPELINE_BUILD_NUMBER}" "${agent_root_folder}/settings.xml"
-            echo 'The default maven settings have been restored'
+            steps {
+                // restore the default maven settings
+                mv "${agent_root_folder}/settings.${PIPELINE_BUILD_NUMBER}" "${agent_root_folder}/settings.xml"
+                echo 'The default maven settings have been restored'
+            }
         }
         success {
             echo 'The pipeline worked!'