Minor adjustment to put an endline character at the end of the output.