Thanks for your report. This is also bug 11019, but your patch looks good - I'll stare at it for a bit and probably merge it.
Thanks for your report. This is also bug 11019, but your patch looks good - I'll stare at it for a bit and probably merge it.