Small fixes
Avoid `\autoref`