Re: Bug reports in documentation