Update pretty.ml