diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index e807a649..983cec51 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -2167,9 +2167,8 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 				switch (column) {
 				case 0:
 					return "Module/[action]";
-				case 1: {
+				case 1:
 					return parsedModel == null ? "Probability" : parsedModel.getModelType().probabilityOrRate();
-				}
 				case 2:
 					return "Update";
 				default: