Fix rounding error.