diff --git a/prism/src/prism/LTLModelChecker.java b/prism/src/prism/LTLModelChecker.java
index 4d61af1b..dd36a0e2 100644
--- a/prism/src/prism/LTLModelChecker.java
+++ b/prism/src/prism/LTLModelChecker.java
@@ -663,8 +663,7 @@ public class LTLModelChecker extends PrismComponent
 	}
 
 	/**
-	 * Find the set of accepting BSCCs in a model wrt a Rabin acceptance condition.
-	 * Find the set of accepting BSCCs in a model wrt an acceptance condition.
+	 * Find the set of accepting BSCCs in a model wrt an omega acceptance condition.
 	 * @param acceptance the acceptance condition, with BDD based storage
 	 * @param model The model
 	 * @return A referenced BDD for the union of all states in accepting BSCCs