You should be able to just make the change if you want, or you can make a PR I don't care either way.