-Remove strange second try block
-Lower QuickCheck version number