diff --git a/src/kernel_services/cmdline_parameters/cmdline.mli b/src/kernel_services/cmdline_parameters/cmdline.mli
index 8162a9f0030f9282f0da632813ecbf9fb21e14d2..0d90e2d6dbea1ffdbb3e514e184ece74a2416511 100644
--- a/src/kernel_services/cmdline_parameters/cmdline.mli
+++ b/src/kernel_services/cmdline_parameters/cmdline.mli
@@ -399,7 +399,7 @@ val deterministic: bool
 val permissive: bool
   (** Downgrades some command-line errors to warnings, such as
       unknown option names and invalid values for some options
-      (e.g. inexistent function names).
+      (e.g. non-existent function names).
 
       @since Frama-C+dev *)
 
diff --git a/src/kernel_services/plugin_entry_points/kernel.ml b/src/kernel_services/plugin_entry_points/kernel.ml
index 869402e01d9586f5070cbd1a707fc5695e1ecb23..83c199a92dc7d091333810fec20b6fb4ef2e30f9 100644
--- a/src/kernel_services/plugin_entry_points/kernel.ml
+++ b/src/kernel_services/plugin_entry_points/kernel.ml
@@ -1639,6 +1639,7 @@ let () =
 let checks = add_group "Checks"
 
 let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
 let () = Parameter_customize.do_not_reset_on_copy ()
 module Check =
   False(struct
@@ -1649,6 +1650,7 @@ module Check =
   end)
 
 let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
 module Copy =
   False(struct
     let option_name = "-copy"
@@ -1658,6 +1660,7 @@ module Copy =
   end)
 
 let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
 let () = Parameter_customize.set_negative_option_name ""
 module TypeCheck =
   True(struct
@@ -1710,6 +1713,7 @@ module Deterministic =
     end)
 
 let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
 let () = Parameter_customize.set_negative_option_name ""
 let () = Parameter_customize.set_cmdline_stage Cmdline.Early
 module Permissive =