Fixed ido choice, fixed modeline for monokai theme