minor fixes on bloom filter