minor edits on html

html edits