[Xmonad] darcs patch: fix potential hole in userCode.