Fixed typo in QickCheck package name