Fix formula in IV.C.