SML: minor updates