bloom-filters: minor style improvements.