I know this isn't your code, but AFAICT, this check is performed in `.getFile()` anyway, so I don't see why we should keep it. Dan?