toString() bugfix