Minor change to HTML