minor corrections to html