Correct mistake in example