fixed another deserialization error