why is this in this PR? seems to be a totally isolated/unrelated change, which should always just come in it's own PR for convenience.