diff --git a/prism/src/prism/ResultsCollection.java b/prism/src/prism/ResultsCollection.java
index 0b363c51..7fa594eb 100644
--- a/prism/src/prism/ResultsCollection.java
+++ b/prism/src/prism/ResultsCollection.java
@@ -593,7 +593,7 @@ public class ResultsCollection
 				if (rangingConstants.size() > 2)
 					res += head+", ";
 				if (rangingConstants.size() == 1)
-					res += constant.getName() + ":";
+					res += constant.getName();
 				else
 					res += constant.getName() + "\\" + kids[0].constant.getName();
 				if (!sep.equals(", "))