diff --git a/Jenkinsfile b/Jenkinsfile
index b71f8f4..54a9409 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -60,6 +60,7 @@ pipeline {
                                                 sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r7rs-docker"
                                             }
                                         }
+                                    }
                                     }]
                                 }
                             }