diff --git a/src/main/scala/leon/Reporter.scala b/src/main/scala/leon/Reporter.scala
index f9df384188225d08bf2569c724a15e035549407a..52fedd3a83a7ad007665c99cb265c74df47b9ea0 100644
--- a/src/main/scala/leon/Reporter.scala
+++ b/src/main/scala/leon/Reporter.scala
@@ -171,7 +171,7 @@ class DefaultReporter(debugSections: Set[DebugSection]) extends Reporter(debugSe
   }
 
   protected def reline(pfx: String, msg: String) : String = {
-    pfx+" "+msg.replaceAll("\n", "\n" + (" " * prefixSize))
+    pfx+" "+msg.replaceAll("\n", s"\n$pfx ")
   }
 
 }