Minor fixes for random seeeds