diff --git a/prism/src/prism/StateValuesDV.java b/prism/src/prism/StateValuesDV.java
index 7fa58f40..80e7dc8f 100644
--- a/prism/src/prism/StateValuesDV.java
+++ b/prism/src/prism/StateValuesDV.java
@@ -629,10 +629,9 @@ public class StateValuesDV implements StateValues
 				}
 			} else {
 				if (printIndices) {
-					outputLog.print(n);
+					outputLog.print(n + ":");
 				}
 				if (printStates) {
-					outputLog.print(":");
 					outputLog.print("(");
 					j = varList.getNumVars();
 					for (i = 0; i < j; i++) {