Fix roundoff error