diff --git a/src/demos/DTMCModelGenerator.java b/src/demos/DTMCModelGenerator.java
index 9ee492a..94e22dd 100644
--- a/src/demos/DTMCModelGenerator.java
+++ b/src/demos/DTMCModelGenerator.java
@@ -76,7 +76,7 @@ public void run()
 
 			// Create a model generator to specify the model that PRISM should build
 			// (in this case a simple random walk)
-			RandomWalk modelGen = new RandomWalk(5, 0.6);
+			RandomWalk modelGen = new RandomWalk(5, 0.5);
 			
 			// Load the model generator into PRISM,
 			// export the model to a dot file (which triggers its construction)