Solve weird repr() issue