Update batSeq.ml