fixes #7080: symbols are no longer being sorted

Nods; good catch, updated this and the test.