Fixed (possibly) String() method