diff --git a/src/main/scala/leon/ArrayTransformation.scala b/src/main/scala/leon/ArrayTransformation.scala
index 75ce22ff04055177282f9681a16076ed18ea67ef..3927d1ff979c21da42285b575ee88859c77358c2 100644
--- a/src/main/scala/leon/ArrayTransformation.scala
+++ b/src/main/scala/leon/ArrayTransformation.scala
@@ -38,7 +38,6 @@ object ArrayTransformation extends Pass {
         } else fd
       } else fd
     })
-    println(newFuns)
 
     allFuns.zip(newFuns).foreach{ case (ofd, nfd) => ofd.body.map(body => {
       val newBody = transform(body)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index b0b0bba08761b8957b3e6ff572382df8a697dd41..c4b6b4fc9854384fb22874a8ba2658ec8e547745 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -258,7 +258,7 @@ object PrettyPrinter {
       pp(size, sb, lvl)
       sb.append(")(")
       pp(v, sb, lvl)
-      sb.append(")#" + fill.getType)
+      sb.append(")")
     }
     case am@ArrayMake(v) => {
       sb.append("Array.make(")
@@ -269,7 +269,7 @@ object PrettyPrinter {
       pp(ar, sb, lvl)
       sb.append("(")
       pp(i, sb, lvl)
-      sb.append(")#" + sel.getType)
+      sb.append(")")
     }
     case up@ArrayUpdate(ar, i, v) => {
       pp(ar, sb, lvl)
@@ -284,7 +284,7 @@ object PrettyPrinter {
       pp(i, sb, lvl)
       sb.append(", ")
       pp(v, sb, lvl)
-      sb.append(")#" + up.getType)
+      sb.append(")")
     }
 
     case Distinct(exprs) => {