more HTML formatting fixes