Fixed some unicode issues in __repr__()