Did corrections up to, but not including, the main theorem, of de Rham section.