Last paragraph of std-sort