diff --git a/src/zeek-setup.cc b/src/zeek-setup.cc
index d483866350..226e5c8188 100644
--- a/src/zeek-setup.cc
+++ b/src/zeek-setup.cc
@@ -378,8 +378,6 @@ static void terminate_zeek()
 	// the termination process.
 	file_mgr->Terminate();
 
-	script_coverage_mgr.WriteStats();
-
 	if ( zeek_done )
 		event_mgr.Enqueue(zeek_done, Args{});
 
@@ -419,6 +417,8 @@ static void terminate_zeek()
 
 	finish_script_execution();
 
+	script_coverage_mgr.WriteStats();
+
 	delete zeekygen_mgr;
 	delete packet_mgr;
 	delete analyzer_mgr;