fix minor formatting in output html