fixed a bug in serialization