diff --git a/examples/pdtmc/die.pm b/examples/pdtmc/die.pm
index 31290bd69..a2a8f57b0 100644
--- a/examples/pdtmc/die.pm
+++ b/examples/pdtmc/die.pm
@@ -16,7 +16,7 @@ module die
 	[] s=2 -> q : (s'=5) + 1-q : (s'=6);
 	[] s=3 -> p : (s'=1) + 1-p : (s'=7) & (d'=1);
 	[] s=4 -> p : (s'=7) & (d'=3) + 1-p : (s'=7) & (d'=2);
-	[] s=5 -> p : (s'=2) + 1-p : (s'=7) & (d'=6);
+	[] s=5 -> p : (s'=2) + 1-p : (s'=7) & (d'=4);
 	[] s=6 -> p : (s'=7) & (d'=6) + 1-p : (s'=7) & (d'=5);
 	[] s=7 -> 1: (s'=7);