diff --git a/src/dune b/src/dune
index 75cb7e8ab..f5c2eed64 100644
--- a/src/dune
+++ b/src/dune
@@ -1,9 +1,10 @@
 (env
- (dev     (flags :standard -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69))
- (ci      (flags :standard -rectypes -warn-error +a    -w +28+33-9-23-32-58-67-69))
- (release (flags :standard -rectypes -warn-error -a    -w +28+33-9-23-32-58-67-69)
+ (dev     (flags :standard -rectypes -w @1..3@5..28@31..39@43@46..47@49..57@61..62-40-9-23-32-67-69 -warn-error -a+31))
+ (ci      (flags :standard -rectypes -w @1..3@5..28@31..39@43@46..47@49..57@61..62-40-9-23-32-67-69 -warn-error +a))
+ (release (flags :standard -rectypes)
           (ocamlopt_flags -O3 -unbox-closures)))
 
+
 (include_subdirs unqualified)
 
 (generate_sites_module
@@ -30,4 +31,4 @@
 (menhir
  (modules ecParser)
  (explain true)
- (flags --table))
+ (flags --table --unused-token COMMENT))
diff --git a/src/ecPrinting.ml b/src/ecPrinting.ml
index b37fbe228..c320e7186 100644
--- a/src/ecPrinting.ml
+++ b/src/ecPrinting.ml
@@ -620,7 +620,7 @@ let pp_modtype1 (ppe : PPEnv.t) fmt mty =
 
 (* -------------------------------------------------------------------- *)
 let pp_local (ppe : PPEnv.t) fmt x =
-  Format.fprintf fmt "%s" (EcIdent.name x)
+  Format.fprintf fmt "%s" (PPEnv.local_symb ppe x)
 
 (* -------------------------------------------------------------------- *)
 let pp_local ?fv (ppe : PPEnv.t) fmt x =