Thanks.
It would be easier if you can make a pull request via github -- there are some automatic tests running for each pull request, being also easier to apply the patch.
Just be sure you format the commit message as per guidelines at:
—
Reply to this email directly or view it on GitHub.