Fix up some syntax highlighting