Some minor changes to some of the stdout print statements.