This little PR fixes #187, while also replacing std::endl with '\n' in
the examples, since most of the time you don't want to flush the output
when outputting a newline.