* fixed a bug with Deserialization