diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala
index 754c740f079f648724e5bb0af4720644ba345d9e..44a0491346f1a3f635b7887e10ec96cfbc62cc4b 100644
--- a/src/main/scala/leon/synthesis/Synthesizer.scala
+++ b/src/main/scala/leon/synthesis/Synthesizer.scala
@@ -42,7 +42,7 @@ class Synthesizer(val r: Reporter, val solvers: List[Solver]) {
       // We are stuck
       if (alternatives.isEmpty) {
         val sol = Solution.choose(task.problem)
-        warning(" => I give up: "+task+" ⊢  "+sol)
+        warning(" => I give up: "+task.problem+" ⊢  "+sol)
         onTaskSucceeded(task, sol)
       }
     }
diff --git a/src/main/scala/leon/synthesis/Task.scala b/src/main/scala/leon/synthesis/Task.scala
index 71e0f4f18bc72cb464e4e85593ae366772e06aaa..53e09bc9862937a2e53771ff4d86416e9fb63b0f 100644
--- a/src/main/scala/leon/synthesis/Task.scala
+++ b/src/main/scala/leon/synthesis/Task.scala
@@ -8,7 +8,7 @@ class Task(val synth: Synthesizer,
 
   def compare(that: Task) = this.score - that.score
 
-  override def toString = "("+score+") " +problem
+  override def toString = " Task("+score+"): " +problem
 }
 
 class DecomposedTask(synth: Synthesizer,