badly corrected proof