Fix section and example about operator<<() to stream a user-defined type