diff --git a/integrations/codebase/zulip_codebase_mirror b/integrations/codebase/zulip_codebase_mirror
index b344566..9ea003d 100755
--- a/integrations/codebase/zulip_codebase_mirror
+++ b/integrations/codebase/zulip_codebase_mirror
@@ -299,7 +299,7 @@ def run_mirror():
             time.sleep(sleepInterval)
 
     except KeyboardInterrupt:
-        open(config.RESUME_FILE, 'w').write(since.strftime("%s"));
+        open(config.RESUME_FILE, 'w').write(since.strftime("%s"))
         logging.info("Shutting down Codebase mirror")
 
 # void function that checks the permissions of the files this script needs.