diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index eea6b4b7..39d559ec 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -606,6 +606,14 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 	public void a_loadPath(PathFullInfo pathNew)
 	{
 		try {
+			// get properties constants/labels
+			PropertiesFile pf;
+			try {
+				pf = getPrism().parsePropertiesString(parsedModel, guiProp.getConstantsString().toString() + guiProp.getLabelsString());
+			} catch (PrismLangException e) {
+				// ignore properties if they don't parse
+				pf = null; //if any problems
+			}
 			// Insert path table
 			tableScroll.setViewportView(pathTable);
 
@@ -619,7 +627,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 			pathTableModel.restartPathTable();
 			pathTable.getSelectionModel().setSelectionInterval(0, 0);
 			updateTableModel.restartUpdatesTable();
-			//repopulateFormulae(pf);
+			repopulateFormulae(pf);
 			// Update display
 			repaintLists();
 			updatePathInfoAll(null);