Minor change to html file