Typos in aux files