Corrections to Grothendieck