More HACK.md fixes