Fix a single precision bug