Correction: we know its a package (if the change I suggest above is made).