a few minor changes to syntax highlighting