diff --git a/src/main/java/de/prob2/jupyter/commands/BrowseCommand.java b/src/main/java/de/prob2/jupyter/commands/BrowseCommand.java
index 36d89b6cbdaf296baecf6e4258711cbbd4ca9bae..3cfea0faa5999c59dd4c4aaed3080e4732043c3b 100644
--- a/src/main/java/de/prob2/jupyter/commands/BrowseCommand.java
+++ b/src/main/java/de/prob2/jupyter/commands/BrowseCommand.java
@@ -75,7 +75,8 @@ public final class BrowseCommand implements Command {
 		sb.append("\nVariables: ");
 		sb.append(listToString(lm.getVariableNames()));
 		sb.append("\nOperations: ");
-		final List<Transition> sortedTransitions = new ArrayList<>(trace.getNextTransitions(true, FormulaExpand.TRUNCATE));
+		final List<Transition> sortedTransitions = new ArrayList<>(trace.getNextTransitions());
+		trace.getStateSpace().evaluateTransitions(sortedTransitions, FormulaExpand.EXPAND);
 		// Sort transitions by ID to get a consistent ordering.
 		// Transition IDs are strings, but they almost always contain numbers.
 		sortedTransitions.sort(Comparator.comparing(Transition::getId, new AlphanumericComparator()));