added some sloppy deserialization