minor HTML edits