#4137 fix serialization bug