diff --git a/build.gradle.kts b/build.gradle.kts
index dacb49de62..15925d7655 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -10,7 +10,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.inf.theta"
-    version = "1.6.1"
+    version = "1.6.2"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }
diff --git a/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayLitExpr.java b/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayLitExpr.java
index 5a3dd6d3d6..aae52396df 100644
--- a/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayLitExpr.java
+++ b/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayLitExpr.java
@@ -83,10 +83,9 @@ public boolean equals(final Object obj) {
 
 	@Override
 	public String toString() {
-		final String indexString = String.format("([%s]->%s)", type.getIndexType(), type.getElemType());
-		return Utils.lispStringBuilder(OPERATOR_LABEL).add(indexString).add("(")
-				.addAll(elems.stream().map(elem -> String.format("([%s]->%s)", elem.get1(), elem.get2()))).add(")")
-				.add((String.format("[]->%s", elseElem)))
+		return Utils.lispStringBuilder(OPERATOR_LABEL)
+				.addAll(elems.stream().map(elem -> String.format("([%s]->%s)", elem.get1(), elem.get2())))
+				.add((String.format("([]->%s)", elseElem)))
 				.toString();
 	}