fixed fault in QuickCheck test suite2