Correct example output per recent fix