Fixed bug in semantic highlighting.