minor improvements to html