I installed the attached patch, which should fix the bug, and am closing this.