Correct race serialization