Some more sequential correctness.