Re-sorted, fixed typos.