Indeed, thanks for reporting this, and for providing a patch (this is rare :)
I'll apply it tomorrow in svn, it is very late now.
Indeed, thanks for reporting this, and for providing a patch (this is rare :)
I'll apply it tomorrow in svn, it is very late now.