Better make it an actual bug report, so we have a bug-number.


        Stefan