Minor adjustment to choose-leaf docstring.
Rewrite rand install functions.