I'd submit your own Pull Request for that - it's good for us to start learning to use Git/GitHub as it was intended :-)