Minor: better alphabetic sorting of menu items