Fix a rounding error