Documentation updated (chapter 2; appendix)