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