use compact representation in String()