More minor cosmetic changes to HTML template