diff --git a/infra/push-images/Jenkinsfile b/infra/push-images/Jenkinsfile
index 51d00d81b..c17dd8028 100644
--- a/infra/push-images/Jenkinsfile
+++ b/infra/push-images/Jenkinsfile
@@ -17,7 +17,7 @@
 // Jenkins build script to push docker images to docker repository.
 
 def images = ['ossfuzz/base', 'ossfuzz/base-clang', 'ossfuzz/base-libfuzzer',
-              'ossfuzz/libfuzzer-runner]
+              'ossfuzz/libfuzzer-runner']
 
 node() {
     docker.withRegistry('', 'docker-login') {