Re: List.sort