A bit of alphabetization on the main table of contents