diff --git a/src/prelude/Formal.gf b/src/prelude/Formal.gf
index 9902712a..2833c955 100644
--- a/src/prelude/Formal.gf
+++ b/src/prelude/Formal.gf
@@ -29,7 +29,7 @@ resource Formal = open Prelude in {
     usePrec : Prec -> TermPrec -> Str = \p,x ->
       case lessPrec x.p p of {
         True => parenth x.s ;
-        False => parenthOpt x.s
+        False => x.s --- parenthOpt x.s
       } ;
 
     parenth : Str -> Str = \s -> "(" ++ s ++ ")" ;