Re: [docs] Bug in doctest documentation