Minor fixes to hacking guide