Fixed format in part of HACKING file