diff --git a/src/main/scala/leon/synthesis/SynthesisPhase.scala b/src/main/scala/leon/synthesis/SynthesisPhase.scala
index 49e17e4416d38d53a8f5ab7a24d01fff67c0fd57..98cc6c5777a8f824cb3cdf5a6c7973e38f698512 100644
--- a/src/main/scala/leon/synthesis/SynthesisPhase.scala
+++ b/src/main/scala/leon/synthesis/SynthesisPhase.scala
@@ -49,9 +49,10 @@ object SynthesisPhase extends LeonPhase[Program, Program] {
       }
     } else {
       for ((chs, ex) <- chooseToExprs) {
-        ctx.reporter.info("-"*80)
-        ctx.reporter.info("For: "+chs)
-        ctx.reporter.info("Synthesized Code:\n"+ScalaPrinter(ex))
+        ctx.reporter.info("-"*32+" Synthesis of: "+"-"*32)
+        ctx.reporter.info(chs)
+        ctx.reporter.info("-"*35+" Result: "+"-"*35)
+        ctx.reporter.info(ScalaPrinter(ex))
       }
     }