diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java
index f1cfed5f..120dc5f5 100644
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@@ -295,6 +295,7 @@ public class StateModelChecker extends PrismComponent
 		if (storeVector) {
 			exprFilter.setStoreVector(true);
 		}
+		expr = exprFilter;
 
 		// If required, do bisimulation minimisation
 		if (doBisim) {