fix rounding mistake