HOWTO: fix up broken formatting in logging options