doced the case class