Oh that makes sense. Should I cancel this pull request and make up a new one with that change?