more renaming of BloomFilter