Minor Edits to html