Correction to toString()