Fixed example in the serialization docs