SML tweaks