Minor fix for set.user.Random.seed