Don't capitalise 'quickcheck'