Fix a rounding error.