Fixed the crash in deserialization (#14).