Re: bug in headers (how to file a bug for such things?)