bugfix, and random.seed()