Fix another rounding bug