Added comment for function PROCESS-AUX.