grothendieck ---> Grothendieck

Thanks to Pieter Belmans
http://stacks.math.columbia.edu/tag/08F3#comment-1102