Update SML module; Travis still erroring.