Minor

Same as in §8.7.