Modify to follow FsCheck's issue 54