diff --git a/src/main/scala/leon/purescala/Expressions.scala b/src/main/scala/leon/purescala/Expressions.scala
index ae93221bfe8313cf8cef20ed084d559a2a472133..13e4efbef15d754765776de6153c9f5a8b65c6c8 100644
--- a/src/main/scala/leon/purescala/Expressions.scala
+++ b/src/main/scala/leon/purescala/Expressions.scala
@@ -584,7 +584,7 @@ object Expressions {
   /** $encodingof `lhs.length` for strings */
   case class StringLength(expr: Expr) extends Expr {
     val getType = {
-      if (expr.getType == StringType) StringType
+      if (expr.getType == StringType) Int32Type
       else Untyped
     }
   }
diff --git a/testcases/verification/editor/AsciiToPos.scala b/testcases/verification/editor/AsciiToPos.scala
index 9035ab5a00dc303c5318cd8147da9fa73f241c51..1514ccc13733e6e3571a51081a89a2c490a72f30 100644
--- a/testcases/verification/editor/AsciiToPos.scala
+++ b/testcases/verification/editor/AsciiToPos.scala
@@ -13,7 +13,7 @@ object Justify {
         Cons(wordAcc, tokenize0(t, ""))
       }
     } else {
-      tokenize0(t, String(List(h)) + wordAcc)
+      tokenize0(t, h + wordAcc)
     }
   }