Small fix to Docs HOWTO file