diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 4f42b3ee..45c25b1e 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -262,7 +262,7 @@ public class PrismCL
 			if (simulate)
 				doBuild = false;
 			// No need if doing PTA model checking...
-			// (NB: PTA digital clocks excluded - has already been reduced to an MDP)
+			// (even if needed for digital clocks, will be done later)
 			if (modulesFile.getModelType() == ModelType.PTA)
 				doBuild = false;