diff --git a/src/main/scala/leon/verification/InductionTactic.scala b/src/main/scala/leon/verification/InductionTactic.scala
index bc26e77966b98bc819c84d30a166dc96b0e1ed4e..ba4039b26743fa73a6daaa712e485c4e1dc388d1 100644
--- a/src/main/scala/leon/verification/InductionTactic.scala
+++ b/src/main/scala/leon/verification/InductionTactic.scala
@@ -80,7 +80,7 @@ class InductionTactic(vctx: VerificationContext) extends DefaultTactic(vctx) {
               // Crop the call to display it properly
               val fiS = sizeLimit(fi.toString, 25)
 
-              VC(vc, fd, VCKinds.Info(VCKinds.Precondition, "call $fiS, ind. on ($arg : ${cct.classDef.id)}"), this).setPos(fi)
+              VC(vc, fd, VCKinds.Info(VCKinds.Precondition, s"call $fiS, ind. on ($arg : ${cct.classDef.id})"), this).setPos(fi)
             }
         }