update core.scala