[docs] doc error at https://docs.python.org/3/library/random.html#module-random