diff --git a/prism/src/explicit/SCCComputerTarjan.java b/prism/src/explicit/SCCComputerTarjan.java
index a68cb5a6..4b8c105e 100644
--- a/prism/src/explicit/SCCComputerTarjan.java
+++ b/prism/src/explicit/SCCComputerTarjan.java
@@ -102,7 +102,7 @@ public class SCCComputerTarjan extends SCCComputer
 	public void computeBSCCs()
 	{
 		computeSCCs();
-		notInBSCCs = new BitSet();
+		notInBSCCs = (BitSet) getNotInSCCs().clone();
 		int n = sccs.size();
 		for (int i = 0; i < n; i++) {
 			BitSet scc = sccs.get(i);