Fix index name in bitmap filtering docs

Fix index name in bitmap filtering docs #7230