Updating: fixing a potential glitch in prelude/array_quicksort.