Minor changes to xmonad