@Chris: do you know under what bug number this problem had already been reported so that we can mark it as a duplicate please?
@Chris: do you know under what bug number this problem had already been reported so that we can mark it as a duplicate please?