Update Triple.scala