BugFix: bitset_flip was broken