Strange, don't ask me why but it doesn't happen any more and I can't reproduce
it. Well, I keep my system up-to-date, maybe it has become fixed, no idea. So
sorry for all the trouble.