Thanks for reporting that. It's a reasonably serious bug. I installed 
the attached patch to fix it.