Various minor updates to HTML