FIX Another small bug in rounding.