Corrected xmonad config