Updated to SML 0.9