default values for case class initializer