Correct a rounding error