tweaked toString() output