changed the serialization format