fix __repr__