Added comment for function PROCESS-REMAINING-AUX.