Small, miscellaneous fixes

Random but no seed/rng argument?