I made a last-minute silly change. Make the tests agree with it.