minor edits to html