Ah! OK. Maybe I misunderstood the subject under discussion here :)