Suggestions for section 6.8.

Only one suggestion, connected to a remark in 6.11.