Corrected reference to EGA IV.