Another fix for syntax highlighting