fix various typos in sort.awk