tweak toString() a little