Minor change in monokai theme