fix scheduler rounding error