Forwarding so as to get a bug-number. Stefan