diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 1edb130e7923bed3bc3864dfba5e95bf611fb4f5..7df4adbec24fa1522433d760d66cc573eb0e0195 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -82,6 +82,7 @@ object PrettyPrinter {
       sb.append("\n")
       pp(fd, sb, lvl)
       sb.append("\n")
+      sb.append("\n")
       ind(sb, lvl)
       pp(e, sb, lvl)
       sb
@@ -105,7 +106,7 @@ object PrettyPrinter {
         sb.append("\n")
       })
       ind(sb, lvl)
-      sb.append("}")
+      sb.append("}\n")
       sb
     }
     case Assignment(lhs, rhs) => ppBinary(sb, lhs.toVariable, rhs, " = ", lvl)