quickcheck; fix exposed bugs