Documentation: last piace of Michael Clement's review