Correct example code.