Correct bit count of BML example