> BTW: Already reported two times (and fixed since hours as you reported the > bug....) > > Regards, > > Rene > Sorry, It appears that I was inattentive :( My mirror was updated just minutes ago and bug had been fixed in 3.1.0-3, that's right. Thanks for your help. Alexey