Small progress on quicksort