fixed wrong highlighting.