diff --git a/src/kernel_services/plugin_entry_points/kernel.ml b/src/kernel_services/plugin_entry_points/kernel.ml
index 02f357e8ebbc52cf9fb7883e3551c04d322a9a6b..6b53e263444cf27c82f4f5753890e0711967d23d 100644
--- a/src/kernel_services/plugin_entry_points/kernel.ml
+++ b/src/kernel_services/plugin_entry_points/kernel.ml
@@ -1522,7 +1522,9 @@ let _ =
 
 let () =
   Cmdline.run_after_configuring_stage
-    (fun () -> Remove_projects.iter (fun project -> Project.remove ~project ()))
+    (fun () ->
+        Remove_projects.iter (fun project -> Project.remove ~project ());
+        Remove_projects.clear ())
 
 (* ************************************************************************* *)
 (** {2 Others options} *)