Typo in HACKING.md.