Even simpler toString, just to be dead safe.