Update batString.ml