Mention quickcheck in the page title