bug #672: shorten pospopcount further