Minor HTML edits