Minor HTML clean-ups.