toString() and operator<<