changing the seed seems to fix Alan's bug.