correction in toString