fix-up HTML formatting