Agreed. I'll review a few other cases of this change too. Just semi-automatic laziness!