- Tiny fixes
- Fix aux formatting