Found a bug... (test harness TestBitCounter failing...)