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