diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index 657ccd9f..106ae3d6 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -1544,6 +1544,7 @@ public class DTMCModelChecker extends ProbModelChecker
 			} else {
 				
 				// 2. Build DTMC directly
+				//    Run as: PRISM_MAINCLASS=explicit.DTMCModelChecker bin/prism
 				//    (example taken from p.14 of Lec 5 of http://www.prismmodelchecker.org/lectures/pmc/) 
 				mc = new DTMCModelChecker();
 				dtmc = new DTMCSimple(6);