tiny bit of html cleanup