Re: bug or documentation bug