My own corrections for de rham section, half done