Minor changes to autocomp.md