Fix for the deserialization