This change seems very much unrelated to the purposes of this PR.
Why is this change done, and why is it done in this PR?