Fix a mistake in HTML