fixed yet another deserialization error