Correct example code