diff --git a/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java b/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java
index aee72bf1b6b50c0bdf3a7ea0b92472f379598314..298aefbdf675d27108bea061aeb163bb0dbf4458 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java
@@ -51,7 +51,7 @@ public class LoadShortestTraceHandler extends AbstractHandler implements
 				final Operation op = getOperationByDstId(nextState,
 						state.getEnabledOperations());
 
-				state = ExploreStateCommand.exploreState(animator, stateId);
+				state = ExploreStateCommand.exploreState(animator, nextState);
 
 				// append state- and operation objects to history
 				animator.getHistory().add(state, op);