I'm not sure why you'd need a PR to change this one file when you just changed all of the other ones without a PR. If you want to change it, go ahead.