diff --git a/prism-examples/ptas/firewire/abst/time.pctl b/prism-examples/ptas/firewire/abst/time.pctl
index 3bc6504d..7182e52e 100644
--- a/prism-examples/ptas/firewire/abst/time.pctl
+++ b/prism-examples/ptas/firewire/abst/time.pctl
@@ -1,2 +1,2 @@
 // Maximum expected time to elect a leader
-R{"time"}min=? [ F "done" ]
+R{"time"}max=? [ F "done" ]