Fixed a rounding error in the total