diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index fc81af25..08ed3e5b 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -1262,7 +1262,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
         randomExplorationButton.setIcon(new javax.swing.ImageIcon(""));
         randomExplorationButton.setToolTipText("Make a number of random automatic updates");
         randomExplorationButton.setHorizontalAlignment(javax.swing.SwingConstants.LEADING);
-        randomExplorationButton.setLabel("Random Exploration");
+        randomExplorationButton.setLabel("Simulate");
         randomExplorationButton.setMaximumSize(new java.awt.Dimension(220, 23));
         randomExplorationButton.setMinimumSize(new java.awt.Dimension(50, 23));
         randomExplorationButton.setPreferredSize(new java.awt.Dimension(160, 23));