Re: [xmonad] darcs patch: Fix possible head []