Couple SML tweaks