better __str__ for GenericError