Corrections to syntax highlighting