diff --git a/prism/src/explicit/PredecessorRelation.java b/prism/src/explicit/PredecessorRelation.java
index 7e83560e..be3edab1 100644
--- a/prism/src/explicit/PredecessorRelation.java
+++ b/prism/src/explicit/PredecessorRelation.java
@@ -101,7 +101,7 @@ public class PredecessorRelation
 	 */
 	public Iterator<Integer> getPredecessorsIterator(int s)
 	{
-		return pre.get(s).iterator();
+		return getPre(s).iterator();
 	}
 
 	/**