Thanks for reporting that bug. I installed the attached patch, which should fix
it, and am boldly closing the bug report.