if you update the pull request with that, I think everything will be good to merge