Thanks for reporting this, and supplying the patch.
I've created a branch, applied your patch and proposed it for merging.
Thanks for reporting this, and supplying the patch.
I've created a branch, applied your patch and proposed it for merging.