Minor changes to HTML