Correct a result to match current code.
Apparently we failed to update some run results after either
improving code or changing pseudo-random seed.
Will update listings as we find them, but don't want to destabilize
things by updating all listings right now (will likely cause disagreements
with the text).