various typos + renaming in 10.5.8.(viii) for coherence with its proof