Update aux.md