diff --git a/prism/src/prism/StateListMTBDD.java b/prism/src/prism/StateListMTBDD.java
index 57700087..33c43c2e 100644
--- a/prism/src/prism/StateListMTBDD.java
+++ b/prism/src/prism/StateListMTBDD.java
@@ -409,8 +409,8 @@ public class StateListMTBDD implements StateList
 				if ((valInt & (1 << (n2-1-j))) == 0) {
 					o = o.getElse();
 				} else {
-					o.getThen();	
 					index += o.getEOff();
+					o = o.getThen();	
 				}
 				
 			}