Improvements in the semantic highlighting.