Fix build error
Merge pull request #531 from maxsnew/test-quickcheck2-error

Fix build error