add __rep__()