diff --git a/prism/src/pta/BackwardsReach.java b/prism/src/pta/BackwardsReach.java
index 0d498b5d..8b6fe214 100644
--- a/prism/src/pta/BackwardsReach.java
+++ b/prism/src/pta/BackwardsReach.java
@@ -66,7 +66,6 @@ public class BackwardsReach extends PrismComponent
 
 		// Compute reachability probs on MDP
 		MDPModelChecker mc = new MDPModelChecker(this);
-		mc.setExportAdv(true);
 		mc.setPrecomp(false);
 		ModelCheckerResult res = mc.computeReachProbs(mdp, graph.getTarget(), false);