diff --git a/spdl/wmf-brutus.spdl b/spdl/wmf-brutus.spdl
index d9068a2..a68c7ac 100644
--- a/spdl/wmf-brutus.spdl
+++ b/spdl/wmf-brutus.spdl
@@ -19,7 +19,7 @@ protocol wmfbrutus(A,B,S)
 
 		read_2(S,B, { A, kab }k(B,S) );
 
-		claim(B, Secret,kab);
+		claim_3(B, Secret,kab);
 	}
 
 	role S