fix small rounding error