Fix rounding bug