Fixed bad highlighting.