Improving formatting of HTML