diff --git a/Privacy_Properties/daa_pnc_anonymity_cdrs.spthy b/Privacy_Properties/daa_pnc_anonymity_cdrs.spthy
index 045647b1c6182d920f4e3f3ff6b0440d48d077f6..72eb287f0c2577b6f88601aae021ccec46308d52 100644
--- a/Privacy_Properties/daa_pnc_anonymity_cdrs.spthy
+++ b/Privacy_Properties/daa_pnc_anonymity_cdrs.spthy
@@ -3,7 +3,7 @@ begin
 
 /*
   Protocol:	DAA_PnC
-  Properties:	PR3 - Unlinkable CDRs
+  Properties:	Weaker version of PR3 - Anonymous CDRs
 
 This Tamarin model is used to verify the privacy of the charge data authentication process
 for the Direct Anonymous Authentication (DAA) based privacy extentsion of the