I guess the `std::endl` here was just habit and not actually needed?