attributes are renamed to fix serialization and __repr__