user-info-update in random-generator, small tweaks