> Sorry for reporting a non existing problem ! ;-)

No problem, those are the easiest kind for me to fix! :)

It's better in general for me to get more reports (even if some turn out to be non-problems) rather than fewer and risk missing something.

- Michael