Small fixes to xmonad config