diff --git a/doc/src/fix_halt.rst b/doc/src/fix_halt.rst
index 4231c77cc5..25331804aa 100644
--- a/doc/src/fix_halt.rst
+++ b/doc/src/fix_halt.rst
@@ -183,4 +183,4 @@ Related commands
 Default
 """""""
 
-The option defaults are error = hard, message = yes, and path = ".".
+The option defaults are error = soft, message = yes, and path = ".".