Fix compilation error in Ist.scala