Hopefully fixed syntax highlighting