bug fix in highlighting errors