"Marco Bodrato" <bodrato at mail.dm.unipi.it> writes: May I suggest: [snip] Right. That was not introduced now, but an old inefficiency. :-( -- Torbjörn Please encrypt, key id 0xC8601622