Fix a floating point issue