Fix a typo in how aux name is printed.