Repair ProviderComputer to use sorted seq in both places