Timon Gehr: > It's a plain bug. In fact, you have commented on it: > > https://d.puremagic.com/issues/show_bug.cgi?id=9148 That issue is significant. Thank you Timon. Apparently my memory is not very good :-) Bye, bearophile