Sure if that's easiest. Close this PR and send a new one. Another option is to fix it locally and use `git commit --amend` and then a force push to this same branch.