Thanks for reporting the bug. I installed the attached patch to fix it.