fixed formatting; wrong floating point rounding