Correction in one proof