Make scalacheck happy