diff --git a/src/kernel_services/plugin_entry_points/kernel.ml b/src/kernel_services/plugin_entry_points/kernel.ml
index e0c3ad84a87a97dff76f7d8deca73869b486aa86..468438d093834bf3d11dcba23ae383702478c9fa 100644
--- a/src/kernel_services/plugin_entry_points/kernel.ml
+++ b/src/kernel_services/plugin_entry_points/kernel.ml
@@ -1414,8 +1414,8 @@ module SpecialFloat =
       let option_name = "-warn-special-float"
       let default = "non-finite"
       let arg_name = "none|nan|non-finite"
-      let help = "generate alarms when special floats are produced: \
-                  infinite floats or NaN (by default), only on NaN or never."
+      let help = "generate alarms when special floats are produced: never, \
+                  only on NaN, or on infinite floats and NaN (by default)."
     end)
 let () = SpecialFloat.set_possible_values ["none"; "nan"; "non-finite"]