properly deal with unicode chars in __repr__