minor edits on html