FakeSpin fixed. And bug in spin() fixed; it was using FakeRandom instead of a normal random.