Edit minor bug in toString() method