diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index 3389adcc..03f02b4d 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -1219,6 +1219,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 			Thread t = new LoadPropertiesThread(this, parsedModel, new File(argsPropertiesFile));
 			t.setPriority(Thread.NORM_PRIORITY);
 			t.start();
+			//we clear the variable to avoid loading property file every time a model is parsed.
 			argsPropertiesFile = null;
 		}
 	}