Minor change to cout