Bug in computation of b-element