Minor HTML clean-up