fix SML-like notations.