Correct the opening example so that it runs.