Fix monokai coloring