migrate some toString to Show