diff --git a/prism/src/acceptance/AcceptanceReach.java b/prism/src/acceptance/AcceptanceReach.java
index 77209416..96774472 100644
--- a/prism/src/acceptance/AcceptanceReach.java
+++ b/prism/src/acceptance/AcceptanceReach.java
@@ -28,6 +28,8 @@ package acceptance;
 
 import java.util.BitSet;
 
+import acceptance.AcceptanceRabin.RabinPair;
+
 import jdd.JDDVars;
 
 /**
@@ -95,6 +97,13 @@ public class AcceptanceReach implements AcceptanceOmega
 		return goalStates.get(i) ? "!" : " ";
 	}
 
+	/** Returns a textual representation of this acceptance condition. */
+	@Override
+	public String toString()
+	{
+		return goalStates.toString();
+	}
+
 	@Override
 	public String getSizeStatistics()
 	{
diff --git a/prism/src/prism/DA.java b/prism/src/prism/DA.java
index f5ce2bfe..107e3dd1 100644
--- a/prism/src/prism/DA.java
+++ b/prism/src/prism/DA.java
@@ -209,7 +209,7 @@ public class DA<Symbol, Acceptance extends AcceptanceOmega>
 				s += " " + i + "-" + e.label + "->" + e.dest;
 			}
 		}
-		s += "; " + acceptance.getTypeName() + " acceptance :";
+		s += "; " + acceptance.getTypeName() + " acceptance: ";
 		s += acceptance;
 		return s;
 	}