Small changes in appendix A of the manual.

Final fixes #552.

Change-Id: I8e7939ae70eb14d2e1fc0a25b50774d472889bd1