Fixed a bug in bitset_mask_highest and bitset_set_all