Fixed--agents are now really sorted by value.