Update batSubstring.ml