minor fix in serialization