Fix rounding error