diff --git a/src/compiler/GF/Grammar/Parser.y b/src/compiler/GF/Grammar/Parser.y
index e070f939d..23974f6b1 100644
--- a/src/compiler/GF/Grammar/Parser.y
+++ b/src/compiler/GF/Grammar/Parser.y
@@ -554,7 +554,7 @@ ListBind
 Decl :: { [Hypo] }
 Decl
   : '(' ListBind ':' Exp ')' { [(b,x,$4) | (b,x) <- $2] } 
-  | Exp4                     { [mkHypo $1]              }
+  | Exp3                     { [mkHypo $1]              }
 
 ListTupleComp :: { [Term] }
 ListTupleComp
diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs
index c4a449cd7..ef31af3bb 100644
--- a/src/compiler/GF/Grammar/Printer.hs
+++ b/src/compiler/GF/Grammar/Printer.hs
@@ -240,7 +240,7 @@ ppEnv e = hcat (map (\(x,t) -> braces (ppIdent x <> text ":=" <> ppValue Unquali
 str s = doubleQuotes (text s)
 
 ppDecl q (_,id,typ)
-  | id == identW = ppTerm q 4 typ
+  | id == identW = ppTerm q 3 typ
   | otherwise    = parens (ppIdent id <+> colon <+> ppTerm q 0 typ)
 
 ppDDecl q (_,id,typ)