Small changes in appendix A of the manual.