Added comment for function PROCESS-ALLOW-OTHER-KEYS.