More coverage for monokai