Thanks again, tc-rucho, for the bugreport. I tried to post a similar one but the forum barred me with the message: "You're submitting too fast. Please slow down. Thanks." I guess that was a bug, but I can't tell where it came from. I have kept the message in store in case it could help finding this out.