SML: update error message