diff --git a/src/ecPrinting.ml b/src/ecPrinting.ml
index 938d6df66e..962c54b6d1 100644
--- a/src/ecPrinting.ml
+++ b/src/ecPrinting.ml
@@ -38,7 +38,7 @@ module PPEnv = struct
 
   let ofenv (env : EcEnv.env) =
     let width =
-      EcGState.asint ~default:0
+      EcGState.asint ~default:80
         (EcGState.getvalue "PP:width" (EcEnv.gstate env)) in
 
     { ppe_env    = env;