* fixed a bug with deserialization