diff --git a/prism/examples/pta/brp/brp.pctl b/prism/examples/pta/brp/brp.pctl
index 4601a307..44994b7e 100644
--- a/prism/examples/pta/brp/brp.pctl
+++ b/prism/examples/pta/brp/brp.pctl
@@ -17,5 +17,6 @@ P=? [ true U s=5 & srep=1 & i>8 ];
 
 // property 4
 P=? [ true U !(srep=0) & !recv ];
-// rewards
-R=? [ F "deadlock" ];
+
+// rewards
+R=? [ F "deadlock" ];