Bug fix in xmonad