> Please do file a bug, because you’ve discovered a real problem and > I’d hate for it to get forgotten about. Hello Kristof, bug sended. Thank you very much Radek