HOWTO: minor formatting + headline change