diff --git a/testcases/repair/Desugar/Desugar1.scala b/testcases/repair/Desugar/Desugar1.scala
index 2971855c71b9b765f457886ade24c313595a60f3..18ba8dadf874375eb4615241cf2fe165558c66f9 100644
--- a/testcases/repair/Desugar/Desugar1.scala
+++ b/testcases/repair/Desugar/Desugar1.scala
@@ -145,7 +145,7 @@ object Desugar {
 
   @induct
   def desugar(e : Trees.Expr) : SimpleE = { e match {
-    case Trees.Plus (lhs, rhs) => Neg(desugar(lhs)) // FIXME: Complete nonsense. Leon can't disprove it, uses example...
+    case Trees.Plus (lhs, rhs) => Neg(desugar(lhs)) // FIXME: Complete nonsense
     case Trees.Minus(lhs, rhs) => Plus(desugar(lhs), Neg(desugar(rhs)))
     case Trees.LessThan(lhs, rhs) => LessThan(desugar(lhs), desugar(rhs))
     case Trees.And  (lhs, rhs) => Ite(desugar(lhs), desugar(rhs), Literal(0)) 
diff --git a/testcases/repair/Desugar/Desugar3.scala b/testcases/repair/Desugar/Desugar3.scala
index ec61a78a5fb3e5a16a344daf979079f3df78b205..f1f23df5dc5eae5248b14c468297363ee1b0fdb7 100644
--- a/testcases/repair/Desugar/Desugar3.scala
+++ b/testcases/repair/Desugar/Desugar3.scala
@@ -153,8 +153,9 @@ object Desugar {
     case Trees.Not(e) => Ite(desugar(e), Literal(0), Literal(1))
     case Trees.Eq(lhs, rhs) =>
       Eq(desugar(lhs), desugar(rhs))
-    // FIXME switched the branches
-    case Trees.Ite(cond, thn, els) => Ite(desugar(cond), desugar(els), desugar(thn)) 
+    case Trees.Ite(cond, thn, els) => 
+      // FIXME switched the branches
+      Ite(desugar(cond), desugar(els), desugar(thn))
     case Trees.IntLiteral(v)  => Literal(v)
     case Trees.BoolLiteral(b) => Literal(b2i(b))
   }} ensuring { res =>