improved docs for Random