Minor update to Monokai.