diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java
index a75b6268..af911732 100644
--- a/prism/src/explicit/StateValues.java
+++ b/prism/src/explicit/StateValues.java
@@ -1712,7 +1712,7 @@ public class StateValues implements StateVector
 
 		// Check if all zero
 		if (printSparse && !printMatlab && count == 0) {
-			log.println("(all zero)");
+			log.println(type == TypeBool.getInstance() ? "(none)" : "(all zero)");
 			return;
 		}