Fix bug in syntax highlighting.