I wrote: >This is a known bug in 4.0a (actually since 3.1!), which has been corrected Actually, this bug is *only* in 4.0a, not in any of the official releases. Anyway, this has been corrected in 4.0b. Sorry about the noise. --lhf