Typo fix in HACKING.txt