Given this pull request was already merged, another pull request would have to be made with your proposed changes.