Update version number and description
Fix build error
Merge pull request #531 from maxsnew/test-quickcheck2-error

Fix build error
Merge branch 'master' into dev