diff --git a/src/main/scala/leon/verification/VerificationReport.scala b/src/main/scala/leon/verification/VerificationReport.scala
index ec8342f730e99d2ea393f15dfc7dfd340b43112f..495ab09f7bd17af26fb38f13b97f341c5142df56 100644
--- a/src/main/scala/leon/verification/VerificationReport.scala
+++ b/src/main/scala/leon/verification/VerificationReport.scala
@@ -25,8 +25,9 @@ case class VerificationReport(val results: Map[VC, Option[VCResult]]) {
 
   def sizeLimit(str: String, limit: Int): String = {
     require(limit > 3)
-    if (str.length > limit) {
-      str.substring(0, limit-3)+"..."
+    val res = str.takeWhile(_ != '\n').take(35)
+    if (res != str) {
+      res + "..."
     } else {
       str
     }