FIX Small bug in rounding.