Does this belong here with this pull request?