diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 337807eb..89ecaaeb 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2169,6 +2169,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 			case Prism.EXPORT_DOT_STATES:
 				throw new PrismException("Export not yet supported");
 			}
+			tmpLog.close();
 		}
 
 		// for export to dot with states, need to do a bit more
diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index ec5904c2..1fdc475e 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -894,6 +894,9 @@ public class PrismCL implements PrismModelListener
 		}
 		mainLog.println();
 		ParamModelChecker.closeDown();
+		// Close logs (in case they are files)
+		mainLog.close();
+		techLog.close();
 	}
 
 	// PrismModelListener methods