Minor improvements to HTML