diff --git a/src/main/scala/leon/verification/VerificationReport.scala b/src/main/scala/leon/verification/VerificationReport.scala
index 16b6516241c806005605ec8ce0a56cc178eb3035..caf39d0eb712203cf733d275e0af6595c2ed0444 100644
--- a/src/main/scala/leon/verification/VerificationReport.scala
+++ b/src/main/scala/leon/verification/VerificationReport.scala
@@ -16,8 +16,8 @@ class VerificationReport(val conditions : Seq[VerificationCondition]) {
     conditions.map(VerificationReport.infoLine).mkString("\n", "\n", "\n") +
     VerificationReport.infoSep +
     ("║ total: %-4d   valid: %-4d   invalid: %-4d   unknown %-4d " +
-      (" " * 18) +
-      " %-3.3f ║\n").format(totalConditions, totalValid, totalInvalid, totalUnknown, totalTime) +
+      (" " * 16) +
+      " %7.3f ║\n").format(totalConditions, totalValid, totalInvalid, totalUnknown, totalTime) +
     VerificationReport.infoFooter
   } else {
     "No verification conditions were analyzed."