bug #672: pospopcount finally got the right answer