Fix standard ml