changes to reflect Soot update