OK, I can make that change.  How do we do this?  Cancel the pull request, make the change, and then start a new one?