inadevertently deleted old toString method, restored