Update batSet.ml