A toString() that's more likely to work