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