Comment 5 for bug 1677205

It surprises and pains me that such an obvious bug with such a trivial fix (provided by the reporter, even) is not fixed more than one year later. I have not seen any obvious github-like way of making a pull request, is that something I can do to contribute?