Fix a typo in Monokai