diff --git a/djinn-lib.cabal b/djinn-lib.cabal
--- a/djinn-lib.cabal
+++ b/djinn-lib.cabal
@@ -1,5 +1,5 @@
 name:           djinn-lib
-version:        0.0.1.1
+version:        0.0.1.2
 cabal-version:  >= 1.2
 license:        BSD3
 license-file:	LICENSE
diff --git a/src/Djinn/HTypes.hs b/src/Djinn/HTypes.hs
--- a/src/Djinn/HTypes.hs
+++ b/src/Djinn/HTypes.hs
@@ -256,7 +256,7 @@
 ppExpr _ (HEVar s) = text s
 ppExpr _ (HETuple es) = parens $ fsep $ punctuate comma (map (ppExpr 0) es)
 ppExpr p (HECase s alts) = pparens (p > 0) $ (text "case" <+> ppExpr 0 s <+> text "of") $$
-                            vcat (map ppAlt alts)
+                            nest 2 (vcat (map ppAlt alts))
   where ppAlt (pp, e) = ppPat 0 pp <+> text "->" <+> ppExpr 0 e