continued debugging of deserialization