minor changes in pear.ml