I installed the attached patch, which should fix the problem. Thanks for 
reporting it.