Correct serialization is used.