These changes seem to be unrelated to the pull request.