some more HTML cleanup