Ok. (I don't see that in Github's diff, did you look locally?)