Further HTML edits