diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala
index c3af4f2004f449d7087afe892ebacc225b9df3d6..ea0170b734d0637f9748d8cea9694ad143751f79 100644
--- a/src/main/scala/leon/purescala/Common.scala
+++ b/src/main/scala/leon/purescala/Common.scala
@@ -53,16 +53,12 @@ object Common {
     override def hashCode: Int = globalId
 
     override def toString: String = {
-      if (alwaysShowUniqueID) {
-        name + (if (id > 0) id else "")
-      } else {
-        name
-      }
+      if (alwaysShowUniqueID) uniqueName else name
     }
 
-    def uniqueNameDelimited(delim: String) = name + delim + id
+    def uniqueNameDelimited(delim: String) = s"$name$delim$id"
 
-    def uniqueName: String = uniqueNameDelimited("")
+    def uniqueName: String = uniqueNameDelimited("$")
 
     def toVariable: Variable = Variable(this)