added some forgotten facts of quick sort.