Minor updates in the std::cout interceptor