Whaddya know, quickcheck spotted another bug