Sigh: didn't catch all lists that needed to be sorted. Regenerated again.