Added comment for function PROCESS-REMAINING-KEYS.