Small changes in html file.