fixing up QuickCheck snippets