diff --git a/prism/src/prism/StateValuesMTBDD.java b/prism/src/prism/StateValuesMTBDD.java
index 33a5f9df..eeb72d11 100644
--- a/prism/src/prism/StateValuesMTBDD.java
+++ b/prism/src/prism/StateValuesMTBDD.java
@@ -624,7 +624,7 @@ public class StateValuesMTBDD implements StateValues
 				}
 				if (i < j-1) outputLog.print(",");
 			}
-			outputLog.print(")=" + dd.getValue() + " ");
+			outputLog.print(")=" + dd.getValue());
 			outputLog.println();
 			return;
 		}