fight against encoding: Use repr() as a fallback