2 lines more in the HACKING guide