fixed the auto examples when using the ScalaCheck trait