Small addition in quicksort_helper.e