bugfix in hola_count_if