diff --git a/src/kernel_internals/runtime/special_hooks.ml b/src/kernel_internals/runtime/special_hooks.ml
index 46b66659663dfa6bd9a47a4ba6ed6efca7c615c4..7785ba74e929f63514f7de1f5e8020f1b6c14563 100644
--- a/src/kernel_internals/runtime/special_hooks.ml
+++ b/src/kernel_internals/runtime/special_hooks.ml
@@ -158,14 +158,14 @@ let save_binary error_extension =
 let () =
   (* implement a refinement of the behavior described in BTS #1388:
      - on normal exit: save
-     - on Sys.break, system error or feature request: do not save
+     - on Sys.break (Ctrl-C interruption): save, but add ".break" suffix
      - on user error: save, but add ".error" suffix
      - on fatal error or unexpected error: save, but add ".crash" suffix *)
   Cmdline.at_normal_exit (fun () -> save_binary None);
   Cmdline.at_error_exit
     (function
-      | Sys.Break | Sys_error _ | Log.FeatureRequest _ -> ()
-      | Log.AbortError _ -> save_binary (Some ".error")
+      | Sys.Break -> save_binary (Some ".break")
+      | Log.AbortError _ | Log.FeatureRequest _ -> save_binary (Some ".error")
       | _ -> save_binary (Some ".crash"))
 
 (* Write JSON files to disk if required *)