Fix a pseudo-random halting bug.