corrected HTML syntax highlight