diff --git a/prism-examples/firewire/impl/liveness.pctl b/prism-examples/firewire/impl/liveness.pctl
index fe1a9f19..a901c83f 100644
--- a/prism-examples/firewire/impl/liveness.pctl
+++ b/prism-examples/firewire/impl/liveness.pctl
@@ -1,2 +1,2 @@
 // liveness
-P>=1 [ true U ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) {"init"} ]
+"init" => P>=1 [ true U ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) ]