diff --git a/src/main/scala/leon/purescala/ScalaPrinter.scala b/src/main/scala/leon/purescala/ScalaPrinter.scala
index 6c5be9d2c86b5a0e15ee2974d8c813573626ff2b..dc987ae49af6d26efb9c62b62dfd207c125e5f65 100644
--- a/src/main/scala/leon/purescala/ScalaPrinter.scala
+++ b/src/main/scala/leon/purescala/ScalaPrinter.scala
@@ -28,7 +28,7 @@ class ScalaPrinter(opts: PrinterOptions,
       case Choose(pred)              => p"choose($pred)"
 
       case s @ FiniteSet(rss, t)     => p"Set[$t](${rss.toSeq})"
-      case ElementOfSet(e,s)         => p"$s.contains(e)"
+      case ElementOfSet(e,s)         => p"$s.contains($e)"
       case SetUnion(l,r)             => optP { p"$l ++ $r" }
       case SetDifference(l,r)        => optP { p"$l -- $r" }
       case SetIntersection(l,r)      => optP { p"$l & $r" }
@@ -66,6 +66,10 @@ class ScalaPrinter(opts: PrinterOptions,
         }
 
       case Not(expr) => p"!$expr"
+      case Forall(args, bd) =>
+        p"""|forall(($args) =>
+            |  $bd
+            |)"""
       case _ =>
         super.pp(tree)
     }