Nice! I also created a bug in Bugzilla for this, as that seems to be the prefered way of handling bugs. But there seems to be some delay, so you can just close it once it gets through to the mailing list. I apologize for the inconvenience. In future I'll try to only post patches through Bugzilla.
--knut
