Fix bitset printing