minor correction in the aux