As I said, I agree with your reasoning for this particular change, and I have made it.