Minor change to html