Re: Little bug in documentation