They shouldn't have been calling wallets wallets. Maybe key manager. Nobody would have cared. And there's nothing in the wallet except for keys.