Reinstate proper C++ output.