Fix typos in mli