typo and omission in cut reductions