fix serialization bug