Jon's correction on deserialization