Fix a bug in serialization