Swapped nonnegative and seed in a few more places.