typo
Internal definition of K_X and discussion of its stalk

Some reorganization is needed, so that the material on modalities appears
before the discussion of the stalks of K_X.