some modifications to syntax highlighting