Good catch. This is a leftover from an earlier stage of this pull request. Removing it now.