diff --git a/lib/cmdledit.g b/lib/cmdledit.g
index 83c97853be7..2f6fe04de04 100644
--- a/lib/cmdledit.g
+++ b/lib/cmdledit.g
@@ -455,7 +455,7 @@ arbitrarily many lines.",
     "These preferences are ignored if GAP was not compiled with \
 readline support.",
     ],
-  default:= [1000, false],
+  default:= [1000, true],
   check:= function(max, save) 
     return ((IsInt( max ) and 0 <= max) or max = infinity) 
            and save in [true, false];