Fix of the double case class