The sorting briefly switches to reverse order there, so no contradiction.