Modify to follow FsCheck's issue 54
Merge pull request #27 from Gab-km/patch-FsCheck-54

Modify to follow FsCheck's issue 54