These two case class should be final. In fact, all case classes should be final.