Bugfix: bitset count function