diff --git a/proverif/arid.pv b/proverif/arid.pv
index a7dcfa6..7448799 100644
--- a/proverif/arid.pv
+++ b/proverif/arid.pv
@@ -98,7 +98,7 @@ let receiver () =
   if checkT = true then
   out(ra, ((cA,roA,latA,lonA,altA,tA), freshness(tA, true))).
 
-(* A generic Receiver *)  
+(* Authority*)  
 
 let auth (pAuth:skey, PAuth:pkey) = 
   (*UAV Registration*)