fixed the ScalaCheck parameters order