PR sent, but it would have cost you less time to make the patch yourself than to comment here... Please remember our translators can't be expected to know how to use GitHub.