another changes to html after john's pull request