Minor bug in random seeds