"check PACKAGE" doesn't work if the doc has been bypassed in loading the package.
