small changes in the HTML files