better terminal toString