Fix some syntax highlighting