Update ter_make_box.ml