diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 0c95e669..b3b204c7 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -457,7 +457,7 @@ public class PrismCL implements PrismModelListener
 						exporter.setProperty(propertiesToCheck.get(i));
 					} else {
 						if (exportResultsFormat.equalsIgnoreCase("csv")) {
-							tmpLog.print( "\"" + propertiesToCheck.get(i).toString().replaceAll("\"", "\\\\\"") + "\"\n");
+							tmpLog.print( "\"" + propertiesToCheck.get(i).toString().replaceAll("\"", "\"\"") + "\"\n");
 						} else {
 							tmpLog.print(propertiesToCheck.get(i) + ":\n");
 						}
diff --git a/prism/src/prism/ResultsExporter.java b/prism/src/prism/ResultsExporter.java
index 6c8f39fe..79cf1b68 100644
--- a/prism/src/prism/ResultsExporter.java
+++ b/prism/src/prism/ResultsExporter.java
@@ -205,7 +205,7 @@ public class ResultsExporter
 				exportString += property.toString() + ":\n";
 				break;
 			case CSV:
-				exportString += "\"" + property.toString().replaceAll("\"", "\\\\\"") + "\"\n";
+				exportString += "\"" + property.toString().replaceAll("\"", "\"\"") + "\"\n";
 				break;
 			case COMMENT:
 				// None - it's printed at the the end in this case