Fixed up HACKING.md