diff --git a/spdl/bkepk.spdl b/spdl/bkepk.spdl
index 3d31eb5..d83c30c 100644
--- a/spdl/bkepk.spdl
+++ b/spdl/bkepk.spdl
@@ -42,17 +42,11 @@ protocol bkepk(A,B)
 const Alice,Bob,Eve;
 
 compromised sk(Eve);
+untrusted Eve;
 
 run bkepk.A(Alice,Bob);
 run bkepk.B(Alice,Bob);
 run bkepk.A(Alice,Bob);
 run bkepk.B(Alice,Bob);
 
-run bkepk.A(Alice,Bob);
-run bkepk.B(Alice,Bob);
-run bkepk.A(Alice,Bob);
-run bkepk.B(Alice,Bob);
-
-run bkepk.A(Alice,Bob);
-run bkepk.B(Alice,Bob);
 
diff --git a/spdl/helloworld.spdl b/spdl/helloworld.spdl
index 001ed99..eaff92e 100644
--- a/spdl/helloworld.spdl
+++ b/spdl/helloworld.spdl
@@ -1,5 +1,5 @@
 usertype String, World;
-secret HelloWorld: String;
+secret HelloWorld, k: String;
 
 protocol hw(initiator,world)
 {