Minor edits to HTML