Fix roundoff error.