> I've fixed it slightly differently, but this should be fixed now. This is my current patch, corresponding to the log I'm sending you.