diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java
index 5217de00..d066faae 100644
--- a/prism/src/explicit/StateValues.java
+++ b/prism/src/explicit/StateValues.java
@@ -1610,10 +1610,12 @@ public class StateValues
 					log.println(getValue(n));
 				}
 			} else {
-				if (printIndices)
+				if (printIndices) {
 					log.print(n);
+					log.print(":");
+				}
 				if (printStates && statesList != null)
-					log.print(":" + statesList.get(n).toString());
+					log.print(statesList.get(n).toString());
 				if (printSparse && type instanceof TypeBool) {
 					log.println();
 				} else {
diff --git a/prism/src/prism/StateValuesDV.java b/prism/src/prism/StateValuesDV.java
index 2bea6762..fe11ab18 100644
--- a/prism/src/prism/StateValuesDV.java
+++ b/prism/src/prism/StateValuesDV.java
@@ -627,10 +627,12 @@ public class StateValuesDV implements StateValues
 					outputLog.println(d);
 				}
 			} else {
-				if (printIndices)
+				if (printIndices) {
 					outputLog.print(n);
+					outputLog.print(":");
+				}
 				if (printStates) {
-					outputLog.print(":(");
+					outputLog.print("(");
 					j = varList.getNumVars();
 					for (i = 0; i < j; i++) {
 						// integer variable