Fixing a small example-code mistake.