typo
Global generation, simultaneous vanishing