diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index e5e4bcd2..31207ca4 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -610,7 +610,8 @@ public class PrismCL
 		mainLog.print("\n" + propertiesFile.getNumProperties());
 		mainLog.print(" propert" + ((propertiesFile.getNumProperties() == 1) ? "y" : "ies") + ":\n");
 		for (i = 0; i < propertiesFile.getNumProperties(); i++) {
-			mainLog.println("(" + (i + 1) + ") " + propertiesFile.getProperty(i));
+			String name = propertiesFile.getPropertyName(i);
+			mainLog.println("(" + (i + 1) + ") " + ((name != null) ? ("\"" + name + "\" : ") : "") + propertiesFile.getProperty(i));
 		}
 	}