fixed a problem with __repr__