I assumed it wasn't necessary. But it doesn't belong in this pull request -- my bad.