diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java
index 43e0a9ab..b7bb0d4c 100644
--- a/prism/src/prism/PrismSettings.java
+++ b/prism/src/prism/PrismSettings.java
@@ -823,8 +823,8 @@ public class PrismSettings implements Observer
 	
 	// Export property automaton info?
 	protected boolean exportPropAut = false;
-	protected String exportPropAutType = null;
-	protected String exportPropAutFilename = null;
+	protected String exportPropAutType = "txt";
+	protected String exportPropAutFilename = "da.txt";
 	
 	public void setExportPropAut(boolean b) throws PrismException
 	{