> Those are actually different symptoms from the same bug that my patch > fixes. For the record the bugfix patch is attached to message #5 of bug #607997. Sorry for the whole mess, I've been a bit too quick to send the initial bug report.