Correct an example