fix bug in calculation of number of assertions