Is this change supposed to be in this pull request?