minor edits to HTML