Fixed bugs in hasHoldings().