minor updates to HTML