I ask because, if so, then this change seems harmless.  If not, I have no good way of judging whether or not this change is kosher based just on the diffs.