minor change of toString