HOWTO: small fix