Ok, I will send the attached patch to the bug mailing list.