repair typo in toString()