more quickcheck, potential bug?