Funds to double-check their benchmark index after Vanguard mishap?