This bug was brought up in the #ubuntu-bugs channel by Scienceman123. This seems, indeed, a clear case for a quick fix. While I check, I will add a patch (as proposed by the reporter), and set it as wishlist.
This bug was brought up in the #ubuntu-bugs channel by Scienceman123. This seems, indeed, a clear case for a quick fix. While I check, I will add a patch (as proposed by the reporter), and set it as wishlist.