Suggestions for section 6.15.

(Nothing for 6.14. except maybe "typos")