Suggestions for section 6.13.

(Nothing for 6.12. except maybe "typos")