fix rounding error