Is this change important? I would prefer to see something like this go through upstream to avoid potential merge conflicts.