text corrected and dereddened