diff --git a/protocols/misc/tls/tls-paulson-avispa.spdl b/protocols/misc/tls/tls-paulson-avispa.spdl
index 5fc352d..19c11cc 100644
--- a/protocols/misc/tls/tls-paulson-avispa.spdl
+++ b/protocols/misc/tls/tls-paulson-avispa.spdl
@@ -15,7 +15,9 @@ secret unkeygen: Function;
 inversekeys(keygen, unkeygen);
 
 const pa,pb: Params;
+const Alice,Bob: Agent;
 const Terence: Agent;
+const Sally: Agent;
 const false,true: Bool;