SML+EXC: fix typos