small fix to HOWTO.md