Re: [docs] minor documentation bug in random