correct html highlighting