more consistent formatting in HOWTO