diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index c181d491..bc512e86 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2705,8 +2705,9 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		List<String> labelNames = new ArrayList<String>();
 		labelNames.add("init");
 		labelNames.add("deadlock");
-		labelNames.addAll(currentModelInfo.getLabelNames());
-		if (propertiesFile != null) {
+		if (propertiesFile == null) {
+			labelNames.addAll(currentModelInfo.getLabelNames());
+		} else {
 			LabelList ll = propertiesFile.getCombinedLabelList();
 			int numLabels = ll.size();
 			for (int i = 0; i < numLabels; i++) {