this example is superfluous and the wording also doesn't match the top docstring; let's just delete it.