diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 8529ffad..76a3409a 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -452,7 +452,11 @@ public class PrismCL implements PrismModelListener
 				if (i > 0)
 					tmpLog.println();
 				if (numPropertiesToCheck > 1) {
-					exporter.setProperty(propertiesToCheck.get(i));
+					if (!exportResultsFormat.equals("matrix")) {
+						exporter.setProperty(propertiesToCheck.get(i));
+					} else {
+						tmpLog.print(propertiesToCheck.get(i) + ":\n");
+					}
 				}
 				if (!exportResultsFormat.equals("matrix")) {
 					tmpLog.println(results[i].export(exporter).getExportString());