Fix the quickcheck tests so they pass.

This fixes #5.