Minor text fix now that timsort is done.