Updating: minorly updating doc-EXAMPLE-INTRO