tidied __repr__()