fixing rounding problem, per comment at r82309