Minor html clean-up.