minor html edits