fix typos and formatting problems in HACKING