>>>>> "Pierre" == Pierre Muller <pierre.muller@ics-cnrs.unistra.fr> writes: Pierre> Is this intentional, Pierre> or should I fix it by committing the patch below? Please put it in, thanks. Tom