Update src/silk/Formula.scala