no coverage for __repr__