diff --git a/prism/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java
index c8a0b736..507b1b3a 100644
--- a/prism/src/jdd/JDDVars.java
+++ b/prism/src/jdd/JDDVars.java
@@ -162,8 +162,9 @@ public class JDDVars
 			s = s + getVarIndex(i) + ", ";
 		}
 		if (vars.size() > 0) {
-			s = s + getVarIndex(vars.size() - 1) + "}";
+			s = s + getVarIndex(vars.size() - 1);
 		}
+		s += "}";
 		
 		return s;
 	}