reformatted the User case class