Correct the final example [skip ci]