fixing up documentation for random