Add needed slash to documentation URL.
Update quickcheck.