Finished deserialization code