Fix SML module based on CATCH module; Travis still erroring.