diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 426552af..ec5508c6 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -189,7 +189,7 @@ public class PrismCL
 				modulesFile.setUndefinedConstants(definedMFConstants);
 			} catch (PrismException e) {
 				// in case of error, report it, store as result for any properties, and go on to the next model
-				// (should never happen)
+				// (might happen for example if overflow or another numerical problem is detected at this stage)
 				error(e.getMessage());
 				try {
 					for (j = 0; j < numPropertiesToCheck; j++) {