tiny fix to HOWTO.md