minor fixes in miguels colorscheme