Indeed, I'm not sure why. Seems silly to me. You can merge this change as it is or fix that.