diff --git a/prism/src/prism/PrismFileLog.java b/prism/src/prism/PrismFileLog.java
index 3a7a8489..47d92387 100644
--- a/prism/src/prism/PrismFileLog.java
+++ b/prism/src/prism/PrismFileLog.java
@@ -146,7 +146,12 @@ public class PrismFileLog extends PrismLog
 			return;
 		}
 
-		if (!stdout) PrismNative.PN_CloseFile(fp);
+		if (stdout) {
+			// we never close stdout
+			return;
+		}
+
+		PrismNative.PN_CloseFile(fp);
 		// set fp to zero to indicate that the file handle is not valid anymore
 		fp = 0;
 	}