use proper names in __repr__()