diff --git a/prism/src/explicit/SCCComputerTarjan.java b/prism/src/explicit/SCCComputerTarjan.java
index 874535bc..a68cb5a6 100644
--- a/prism/src/explicit/SCCComputerTarjan.java
+++ b/prism/src/explicit/SCCComputerTarjan.java
@@ -86,12 +86,12 @@ public class SCCComputerTarjan extends SCCComputer
 		tarjan();
 		// Now remove trivial SCCs
 		notInSCCs = new BitSet();
-		for (int i = 0; i < sccs.size(); i++) {
-			BitSet scc = sccs.get(i);
+		for (Iterator<BitSet> it = sccs.iterator(); it.hasNext(); ) {
+			BitSet scc = it.next();
 			if (scc.cardinality() == 1) {
 				int s = scc.nextSetBit(0);
 				if (!model.someSuccessorsInSet(s, scc)) {
-					sccs.remove(i);
+					it.remove(); // remove this SCC from sccs list
 					notInSCCs.set(s);
 				}
 			}