Could you mention this on the mailing list? I don't know if I'll have time to fix it any time soon, but someone else might, and that needs to be fixed.