hmmm...I tried to change it myself and `git push origin pr/5` but it didn't seem to work. I'll look at how I can submit commits to a PR