bug fix to make the deserialized objects compile correctly