Some minor docs fixes, mainly alphabetic sorting.