A few typos and corrections to out_of_sorts