trivial changes to html