In any case here is a patch. Let me know if it fixes the problem.