Improvements for Quickcheck notes (part 2)