TESTS: fix error in bitset-test.reds