Minor edit to terminal output.