No, I think it's not necessary, just add your fix in a new commit to this pull request.