Chris: > But maybe this is a well known issue, I haven't checked all > issues yet. Take a look at Bugzilla, and if you don't find this missed warning, then I suggest to file it. Bye, bearophile