Proposal for minor changes in the aux library