bugfix for deserialization.