Update AsSetOps.scala