Clarifications to section 7.8

Partly addresses #367. Does not include example (yet).